Cover of Test pattern generation using Boolean proof engines

An edition of Test pattern generation using Boolean proof engines (2009)

Test pattern generation using Boolean proof engines

By Rolf Drechsler

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

2009

Publisher

Springer

Language

eng

Pages

192

Description:

subjects: Computer algorithms, Boolean Algebra, Integrierte Schaltung, Verification, Automatic test equipment, ATPG, Hardwareverifikation, Integrated circuits, Algebra, boolean, Binary system (mathematics), Computer software, verification