A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test.

Hratch Mangassarian Andreas G. Veneris Sean Safarpour Marco Benedetti Duncan Smith A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. 240-245 2007 conf/iccad/2007 ICCAD http://doi.acm.org/10.1145/1326073.1326122 db/conf/iccad/iccad2007.html#MangassarianVSBS07