عنوان
پدید آورنده
موضوع
رده
TK 7874.58 .P69 2010
TK
7874
.
58
.
P69
2010
کتابخانه
محل استقرار
1968
The power of assertions in SystemVerilog
New York ;London
Springer
2010
xvi, 544 p. , 24 cm.
Includes bibliographical references and index.
Pt. 1. Opening -- pt. 2. Assertions -- pt. 3. Checkers and assertion libraries.
، Verilog )Computer hardware description language(
، Integrated circuits, Verification, Data processing
621
.
381548
TK
7874
.
58
.
P69
2010
TI
Eduard Cerny ... ]et al.[
AU .draudE ,ynreC
لاه دیجیتانابخکت
