Cargando…
Hardware design verification : simulation and formal method-based approaches /
The Practical, Start-to-Finish Guide to Modern Digital Design Verification As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineer...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Upper Saddle River, NJ :
Prentice Hall Professional Technical Reference,
©2005.
|
| Colección: | Prentice Hall modern semiconductor design series.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
Tabla de Contenidos:
- Ch. 1. invitation to design verification
- Ch. 2. Coding for verification
- Ch. 3. Simulator architectures and operations
- Ch. 4. Test bench organization and design
- Ch. 5. Test scenarios, assertions, and coverage
- Ch. 6. Debugging process and verification cycle
- Ch. 7. Formal verification preliminaries
- Ch. 8. Decision diagrams, equivalence checking, and symbolic simulation
- Ch. 9. Model checking and symbolic computation.