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 Exon Smith

Browse the full ICCAD paper archive.