Efficient SAT-based unbounded symbolic model checking using circuit cofactoring.

Malay K. Ganai, Aarti Gupta, Pranav Ashar

Browse the full ICCAD paper archive.