Abstract
Formal verification has become one of the most important steps in circuit design. Nowadays circuits can contain several million transistors. For this, verification of such large designs becomes more and more difficult, since pure simulation can not guarantee the correct behavior and exhaustive simulation is too time consuming.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Drechsler, R. (2000). Introduction. In: Formal Verification of Circuits. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3184-2_1
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3184-2_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4985-1
Online ISBN: 978-1-4757-3184-2
eBook Packages: Springer Book Archive