Sequential Circuit Diagnosis Based on Formal Verification Techniques - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda. Sequential Circuit Diagnosis Based on Formal Verification Techniques. In Proceedings IEEE International Test Conference 1992, Discover the New World of Test and Design, Baltimore, Maryland, USA, September 20-24, 1992. pages 187-196, IEEE Computer Society, 1992.

The following publications are possibly variants of this publication:

An approach to sequential circuit diagnosis based on formal verification techniquesGianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda. et, 4(1):11-17, 1993. [doi]

runs on WebDSL