Formal Verification of Partial Good Self-Test Fencing Structures.

Adrian E. Seigler, Gary A. Van Huben, Hari Mony

Browse the full FMCAD paper archive.