عنوان
پدید آورنده
موضوع
رده
TK 7874.75 .F68 2004
TK
7874
.
75
.
F68
2004
کتابخانه
محل استقرار
(e-book)
1402080271
140208028x
IR
45619
انگلیسی
IR
Assertion-based design
[Book]
/ Harry Foster, Adam Krolnik, David Lacey
2nd ed
Boston
: Kluwer Academic Publishers
, c2004
xxiii, 390 p.
: ill.
; 24 cm
English
Includes bibliographical references (p. 379-383) and index
Integrated circuits -- Very large scale integration -- Design and construction
Integrated circuits -- Verification
Verilog (Computer hardware description language)
TK
7874
.
75
.
F68
2004
Foster, Harry, author
Krolnik, Adam, author
Lacey, David, author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
