K. Habib

Don't cares based dynamic test vector compaction in SAT-ATPG

Ashraf Salem, Mohamed Dessouky, Mona Safar, 2014, 2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS).