Formal Verification of Circuits

by Rolf Drechsler

Book Overview

Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387263527
• ISBN13: 9780792378587
• Release Date: June 2000
• Publisher: Springer
• Length: 179 Pages
• Weight: 0.99 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"