Abstract
This chapter briefly recapitulates the basic properties discussed in Chap. 5 and discusses more complex property operators. First, we examine the property equivalents of Boolean operators, namely, not, or, and, implies, iff, if else, and case. Then we provide a description of temporal operators inspired by Linear Temporal Logic.
No man acquires property without acquiring with it a little arithmetic also. — Ralph Waldo Emerson
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Though cover c2 is rather meaningless.
References
R. Armoni, L. Fix, A. Flaisher, O. Grumberg, N. Piterman, A. Tiemeyer, M.Y. Vardi, Enhanced vacuity detection in linear temporal logic, in Proceeding of International Conference on Computer-Aided Verification, Lecture Notes in Computer Science. ISBN 3-540-40524-0. pp. 368–380 (2003)
D. Bustan, A. Flaisher, O. Grumberg, O. Kupferman, M.Y. Vardi. Regular vacuity. Lect. Notes Comput. Sci. 3725, 191–206 (2005) ISBN 3-540-37406-X
O. Kupferman, M.Y. Vardi, Vacuity detection in temporal model checking. Int. J. Softw. Tools Technol. Transfer 4(2), 224–233 (2003)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Cerny, E., Dudani, S., Havlicek, J., Korchemny, D. (2015). Advanced Properties. In: SVA: The Power of Assertions in SystemVerilog. Springer, Cham. https://doi.org/10.1007/978-3-319-07139-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-07139-8_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07138-1
Online ISBN: 978-3-319-07139-8
eBook Packages: EngineeringEngineering (R0)