Test pattern generation using Boolean proof engines
By: Rolf Drechsler ... [et al.].
Publisher: Springer
Published: 2009
Place of publication: Dordrecht; New York
Language: eng
Number of pages: 192
ISBN-13: 9789048123599; 9789048123605
Subjects: Computer algorithms; Boolean Algebra; Integrierte Schaltung; Verification; Automatic test equipment; ATPG; Hardwareverifikation; Integrated circuits
Notes: Includes bibliographical references (p. 177-187) and index.