Sequential Circuit Diagnosis Based on Formal Verification Techniques

• Authors:

• Gianpiero Cabodi;Paolo Camurati;Fulvio Corno;Paolo Prinetto;Matteo Sonza Reorda

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the IEEE International Test Conference on Discover the New World of Test and Design
• Year:
• 1992