Debugging sequential circuits using Boolean satisfiability.

Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir

Browse the full ICCAD paper archive.