Formal verification of floating-point ha
β David Russinoff
π Library
π
2022
π English
β¦ LIBER β¦
π
Hardware Design Verification: Simulation and Formal Method-Based Approaches
β Scribed by William K. Lam
- Publisher
- Prentice Hall
- Year
- 2008
- Tongue
- English
- Leaves
- 624
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
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 the newest solutions. Hardware Design Verification systematically presents today's most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.Author William K. Lam, one of the world's leading experts in design verification, is a recent winner of the Chairman's Award for Innovation, Sun Microsystems' most prestigious technical achievement award. Drawing on his wide-ranging experience, he introduces the foundational principles of verification, presents traditional techniques that have survived the test of time, and introduces emerging techniques for today's most challenging designs. Throughout, Lam emphasizes practical examples rather than mathematical proofs; wherever advanced math is essential, he explains it clearly and accessibly.
π SIMILAR VOLUMES
Formal Verification of Floating-Point Ha
β David M. Russinoff
π Library
π
2019
π Springer International Publishing
π English
<p><p>This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. <i>Formal Verification of Floating-Point Hardware Design</i> advances a verification methodology based on a unified theory of register-transfer logic and
Formal Hardware Verification: Methods an
β Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.)
π Library
π
1997
π Springer-Verlag Berlin Heidelberg
π English
<p>This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is
Formal Hardware Verification Methods: A
β Gupta A.
π Library
π
1992
π English
Formal Verification in Hardware Design:
β Kern C., Greenstreet M.R.
π Library
π
1997
π English
A Formal Approach to Hardware Design
β JΓΈrgen Staunstrup
π Library
π
1994
π Springer
π English
A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the design