Loading…

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Lam, William K. C., 1962-
Format: Electronic eBook
Language:Inglés
Published: Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, ©2005.
Series:Prentice Hall modern semiconductor design series.
Subjects:
Online Access:Texto completo (Requiere registro previo con correo institucional)
Table of Contents:
  • 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.