Verification Techniques for System-Level Design
Systems on Silicon
Fujita, Masahiro
Ghosh, Indradeep
Prasad, Mukul
- 出版社：Morgan Kaufmann Publishers in
- 出版年月：2007年 12月
- ISBN：9780123706164
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：256 p.
- 分類： 電子回路
- DDC分類：621.3815
- 内容紹介：
-
Explains how to verify SoC (Systems on Chip) logic designs using "formal" and "semiformal" verification techniques.