Formal Verification of Circuits


Write The First Customer Review

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 difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have very regular structures that can be easily described at a higher level of abstraction. For example, describing (and verifying) an integer multiplier at the bit-level is very ...

Formal Verification of Circuits 2010, Springer-Verlag New York Inc., New York, NY

ISBN-13: 9781441949851


Formal Verification of Circuits 2000, Springer, Boston, MA

ISBN-13: 9780792378587

2000 edition