𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Verification in Hardware Design: A Survey

✍ Scribed by Kern C., Greenstreet M.R.

Book ID
127399407
Year
1997
Tongue
English
Weight
636 KB
Category
Library

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Hardware Design Verification: Simulation
Hardware Design Verification: Simulation and Formal Method-Based Approaches
✍ William K. Lam πŸ“‚ Library πŸ“… 2008 πŸ› Prentice Hall 🌐 English βš– 7 MB

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 engineers have had little formal training in verification, and little exposure to t