عنوان
پدید آورنده
موضوع
رده
TK 7874.75 .H33 2006
TK
7874
.
75
.
H33
2006
کتابخانه
محل استقرار
(ebook)
9780387310046
0387310045
0306475928
IR
45430
انگلیسی
IR
Logic synthesis and verification algorithms
[Book]
/ Gary Hachtel, Fabio Somenzi
1st ed
New York
: Springer
, 2006
xxxii, 564 p.
: ill
; 23 cm
English
Includes bibliographical references (p.537-553) and index
Computer-aided design
Integrated circuits -- Verification
Logic design -- Data processing
TK
7874
.
75
.
H33
2006
Hachtel, Gary, author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
