Applied Formal Verification: For Digital Circuit Design

by Harry D. Foster and Douglas L. Perry

Book Overview

Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product.
Formal Verification, ASAP

Applied Formal Verification delivers right-now methods for integrating this powerful tool into your design process. Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting...

• Format: Hardcover
• Language: English
• ISBN: 007144372X
• ISBN13: 9780071443722
• Release Date: April 2005
• Publisher: McGraw-Hill Companies
• Length: 240 Pages
• Weight: 1.13 lbs.
• Dimensions: 0.9" x 6.3" x 9.5"