Test generation for circuits with embedded memories using SMT.

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

Browse the full ETS paper archive.