𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Hardware Verification Methods: A Survey

✍ Scribed by Gupta A.

Book ID
127399061
Year
1992
Tongue
English
Weight
766 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

An Introduction to Formal Hardware Verif
An Introduction to Formal Hardware Verification
✍ Franz Schwabl πŸ“‚ Library πŸ“… 2005 πŸ› Springer 🌐 English βš– 389 KB

Formal hardware verification has recently attracted considerable interest. The need for "correct" designs in safely-critical applications, coupled with the major cost associated with products delivered late, are two of the main factors behind this. In addition, as the complexity of the designs incre