Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation

English | PDF | 2006 | 193 Pages | ISBN : 0387244115 | 11.33 MB

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation. The core of this book focuses on new techniques that narrow the performance gap between the complexity of digital systems and the limited ability to verify them. In particular, it covers a range of solutions that exploit approximation and parametrization methods, including quasi-symbolic simulation, cycle-based symbolic simulation, and parameterizations based on disjoint-support decompositions.
In structuring this book, the author's hope was to provide interesting reading for a broad range of design automation readers. The first two chapters provide an overview of digital systems design and, in particular, verification. Chapter 3 reviews mainstream symbolic techniques in formal verification, dedicating most of its focus to symbolic simulation. The fourth chapter covers the necessary principles of parametric forms and disjoint-support decompositions. Chapters 5 and 6 focus on recent symbolic simulation techniques, and the final chapter addresses key topics needing further research.

Scalable Hardware Verification with Symbolic Simulation is for verification engineers and researchers in the design automation field.


[Fast Download] Scalable Hardware Verification with Symbolic Simulation

Related eBooks:
Relaxed Abduction: Robust Information Interpretation for Industrial Applications
Geoenergy Modeling I: Geothermal Processes in Fractured Porous Media
Programming the Raspberry Pi 4: Learning Python with Raspberry Pi 4 and Learn it well
Automation and Utopia: Human Flourishing in a World without Work
Machine Learning for Data Mining
Practical Automated Machine Learning on Azure: Using Azure Machine Learning to Quickly Build AI Solu
Help Me! Guide to the iPhone 7
iPad Portable Genius
Practical Acoustic Emission Testing
Wireless Communications
The PC Doctor's Fix-it-Yourself Guide
The Effective Incident Response Team by Julie Lucas
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.