Title: Test pattern generation using Boolean proof engines
Subjects: Computer algorithms, Boolean Algebra, Integrierte Schaltung, Verification, Automatic test equipment, ATPG, Hardwareverifikation, Integrated circuits, Algebra, boolean, Binary system (mathematics), Computer software, verification