SAT-Based Scalable Formal Verification Solutions /
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Nueva York, EUA :
Springer,
2007, c2007
|
| シリーズ: | (Series on Integrated Circuits and Systems)
|
| 主題: | |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: SAT-Based Scalable Formal Verification Solutions /
- Professional Verification : A Guide to Advanced Functional Verification /
- The Test Access Port and Boundary Scan Architecture /
- Integrated Circuit Test Engineering : Modern Techniques /
- EDA for IC System Design, Verification, and Testing /
- Logic Synthesis and Verification Algorithms /
- Introduction to Formal Hardware Verification /