ABC: An Academic Industrial-Strength Verification Tool.

Robert K. Brayton, Alan Mishchenko

Browse the full CAV paper archive.