Abstract
The design of our modeling language—its features as well as the restrictions that we impose on it—is driven by the following goals:
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
References
Josuttis, N. M.: The C++ Standard Library: A Tutorial and Reference, 2nd edn. Pearson Education, Inc. (2012)
Levine, J.: Flex and Bison. O’Reilly Media (2009)
Mentor Graphics Corp.: Algorithmic C datatypes. Available at https://www.mentor.com/hls-lp/downloads/ac-datatypes
Mentor Graphics Corp.: Sequential logic equivalence checker. https://www.mentor.com/products/fv/questa-slec
Synopsys, Inc.: Hector. http://www.synopsys.com/Tools/Verification/FunctionalVerification/Pages/hector.aspx
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Russinoff, D.M. (2019). The Modeling Language. In: Formal Verification of Floating-Point Hardware Design. Springer, Cham. https://doi.org/10.1007/978-3-319-95513-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-95513-1_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-95512-4
Online ISBN: 978-3-319-95513-1
eBook Packages: EngineeringEngineering (R0)