Free shipping on orders over $95Buy one with 1% offer on sale price
Zoom the image with the mouse
Scalable Hardware Verification with Symbolic Simulation
ISBN:
9781441937391
List Price:
$109.99
Share:
Special Offers Available
Free shipping on orders over $95Buy one with 1% offer on sale priceBuy New
We can help you leverage the power of books
Customer Service
Connect with a dedicated account manager who is there every step of the way.
Price Match Guarantee
If you see better pricing elsewhere on your desired quantity, we will price match so you can be sure to get the best pricing.
Free Shipping
Enjoy free ground shipping on your order of $95 or more!
Brand New Guarantee
We only sell books that are brand new and protect that with a guarantee.
Customization
From author signatures to marketing inserts, custom packaging to brand stickers, we can help take your book marketing to the next level.
Details
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.
Product details
Need Books? Bookpal makes it easy
Connect With Us
Customer Reviews
Products related to this item
Related Products