SAT-Based Scalable Formal Verification Solutions /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Nueva York, EUA :
Springer,
2007, c2007
|
| Schriftenreihe: | (Series on Integrated Circuits and Systems)
|
| Schlagworte: | |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
Ähnliche Einträge: SAT-Based Scalable Formal Verification Solutions /
- Professional Verification : A Guide to Advanced Functional Verification /
- The Test Access Port and Boundary Scan Architecture /
- EDA for IC System Design, Verification, and Testing /
- Integrated Circuit Test Engineering : Modern Techniques /
- Introduction to Formal Hardware Verification /
- Logic Synthesis and Verification Algorithms /