• Welcome!
Total books
Book Detail
Download Scalable Hardware Verification with Symbolic Simulation free book as pdf format

Scalable Hardware Verification with Symbolic Simulation

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design. This link for educational purpose only. Please remove file from your computer after familiarization.

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design. Formal Verification: Scalable Hardware Verification with Symbolic Simulation explains current formal verification methods and provides an in-depth analysis of some advanced techniques to improve the scalability of these methods and close the gap between design and verification in computer-aided design. It provides the theoretical background required to present such methods and advanced techniques, i.e. Boolean function representations, models of sequential networks and, in particular, some novel algorithms to expose the disjoint support decompositions of Boolean functions, used in one of the scalable approaches.

Book year:

Book pages: 193

ISBN: 0387244115

Book language: en

File size: 11.33 MB

File type: pdf

Published: 07 November 2019 - 13:00