Abstract
For the foreseeable future, industrial hardware design will continue to use both simulation and model checking in the design verification process. To date, these techniques are applied in isolation using different tools and methodologies, and different formulations of the problem. This results in cumulative high cost and little (if any) cross-leverage of the individual advantages of simulation and formal verification.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Beer, I., Ben-David, S., Eisner, C., Landver, A.: RuleBase: an Industry- Oriented Formal Verification Tool. In: Proc. DAC 1996, pp. 655–660 (1996)
Beer, I., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient Detection of Va- cuity in ACTL Formulas. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 279–290. Springer, Heidelberg (1997)
Beer, I., Ben-David, S., Landver, A.: On-The-Fly Model Checking of RCTL Formulas. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, pp. 184–194. Springer, Heidelberg (1998)
Canfield, W., Emerson, E.A., Saha, A.: Checking Formal Specifications under Simulations. In: Proc. ICCD 1997 (1997)
Geist, D., Biran, G., Arons, T., Nustov, Y., Slavkin, M., Farkash, M., Holtz, K., Long, A., King, D., Barret, S.: A Methodology for Verification of a System on Chip. In: Proc. DAC 1999 (1999)
Kantrowitz, M., Noack, L.M.: I’m Done Simulating; Now What? Verification Coverage Analysis and Correctness. In: Proc. DAC 1996 (1996)
Kaufmann, M., Martin, A., Pixley, C.: Design Constraints in Symbolic Model Checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, pp. 477–487. Springer, Heidelberg (1998)
Schlipf, T., Buechner, T., Fritz, R., Helms, M., Koehl, J.: Formal verification Made Easy. IBM Journal of R&D 41(4/5) (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abarbanel, Y., Beer, I., Gluhovsky, L., Keidar, S., Wolfsthal, Y. (2000). FoCs – Automatic Generation of Simulation Checkers from Formal Specifications. In: Emerson, E.A., Sistla, A.P. (eds) Computer Aided Verification. CAV 2000. Lecture Notes in Computer Science, vol 1855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722167_40
Download citation
DOI: https://doi.org/10.1007/10722167_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67770-3
Online ISBN: 978-3-540-45047-4
eBook Packages: Springer Book Archive