Abstract
Recursive property simply states that a condition holds. The property calls itself with a correct non-overlapping implication operator and correct antecedent and consequent relation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media New York
About this chapter
Cite this chapter
Mehta, A.B. (2014). Recursive Property . In: SystemVerilog Assertions and Functional Coverage. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7324-4_10
Download citation
DOI: https://doi.org/10.1007/978-1-4614-7324-4_10
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-7323-7
Online ISBN: 978-1-4614-7324-4
eBook Packages: EngineeringEngineering (R0)