عنوان
پدید آورنده
موضوع
رده
TK 7874 .58 .L36
TK
7874
.
58
.
L36
کتابخانه
محل استقرار
Hardware design verification: simulation and formal method-based approaches
Upper Saddle River, NJ
Prentice Hall Professional Technical Reference
c2005
xxv, 585 p. : ill
Prentice Hall modern semiconductor design series
Includes bibliographical references )p. 539-559( and index
William K. Lam
Verification ، Integrated circuits
TK
7874
.
58
.
L36
2691-
Lam, William K. C.
AU
TI
