-
RecordNumber
86253
-
Author
Hachtel, Gary D
-
Title
Logic synthesis and verification algorithms
-
Author Statement
Gary Hachtel, Fabio Somenzi
-
Edition
1st softcover ed
-
Publication
Springer
-
Publication Year
c2006
-
Collation
xxxii, 564 p. ill. 26 cm
-
Notes
Includes bibliographical references (p. 537-553) and index.
-
Subject
Integrated circuits , Logic design , Integrated circuits , Computer-aided design
-
ADDED ENTRIES
Somenzi, Fabio ,
-
Main Class
621.
-
Sub Class
395
-
Cutter no
H117l
-
Date
2006
-
واردكننده اطلاعات
ربابه صمدي علي نيا
-
Link To Document :
