Abstract
This work has developed new approaches for using symbolic simulation in formal hardware verification. These approaches enlarge the reach and improve the accessibility of formal verification in contemporary design practices. We have verified important aspects of major circuits from Intel microprocessor designs with BDD-based symbolic simulation. The results of Parts I and II significantly increase the effectiveness of BDD-based symbolic simulation for contemporary design practices. The techniques presented in Part III require a more abstract design representation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Jones, R.B. (2002). Conclusions. In: Symbolic Simulation Methods for Industrial Formal Verification. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1101-4_8
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1101-4_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5395-9
Online ISBN: 978-1-4615-1101-4
eBook Packages: Springer Book Archive