Sequential Circuit Diagnosis Based on Formal Verification Techniques.

Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda

Browse the full ITC paper archive.