SAT-Based Scalable Formal Verification Solutions /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Knjiga |
| Jezik: | angleščina |
| Izdano: |
Nueva York, EUA :
Springer,
2007, c2007
|
| Serija: | (Series on Integrated Circuits and Systems)
|
| Teme: | |
| Oznake: |
Brez oznak, prvi označite!
|
Podobne knjige/članki: 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 /