عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook5986
eng
Test pattern generation using Boolean proof engines
Dordrecht ;New York :
: Springer,
, 2009.
Print
Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
Drechsler, Rolf. ;
old catalog
