عنوان
پدید آورنده
موضوع
رده
TK,7874.75,F68,2004eb
TK
,
7874
.
75
,
F68
,
2004eb
کتابخانه
محل استقرار
9781402080289
IR
ebook21527
انگلیسی
IR
Assertion-based desig
[Electronic Resource]
/ Harry Foster, Adam Krolnik, David Lacey
2nd ed.
Boston
: Kluwer Academic Publishers,
, c2004.
xxiii, 390 p.
: ill. ; 24 cm.
e
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)
621
.
39
,
5
TK
,
7874
.
75
,
F68
,
2004eb
Foster, Harry, 1956
Krolnik, Adam
Lacey, David
SpringerLink (Online service
ایران
621.39,5
140208028X.pdf
0
0
0
old catalog
e
BL
1
a
Y
