Kareem Habib, Mona Safar, Mohamed Dessouky, Ashraf Salem. Don't cares based dynamic test vector compaction in SAT-ATPG. In IEEE 57th International Midwest Symposium on Circuits and Systems, MWSCAS 2014, College Station, TX, USA, August 3-6, 2014. pages 213-217, IEEE, 2014. [doi]
Abstract is missing.