A SMT-based diagnostic test generation method for combinational circuits.

Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram

Browse the full VTS paper archive.