عنوان
پدید آورنده
موضوع
رده
TK 7874 .75 .H33 1996
TK
7874
.
75
.
H33
1996
کتابخانه
محل استقرار
145239
تابستان۷۸
English
)20(
Hachtel, Gary D.
Logic synthesis and verification algorithms
Boston
Kluwer Academic Publishers
1996
xxxii, 564 p.: ill.; 26 cm.
Includes bibliographical references and index
، Integrated circuits-- Very large scale integration-- Design-- Data processing
، Logic design-- Data processing
، Integrated circuits-- Verification
، Computer-aided design
TK
7874
.
75
.
H33
1996
AU
by Gary D. Hachtel, Fabio Somenzi
AU oibaF ,iznemoS
TI
02
