Abstract
Immediate assertions are simple non-temporal domain assertions that are executed like statements in a procedural block. Interpret them as an expression in the condition of a procedural ‘if’ statement. Immediate assertions can be specified only where a procedural statement is specified.
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). Immediate Assertions. In: SystemVerilog Assertions and Functional Coverage. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7324-4_3
Download citation
DOI: https://doi.org/10.1007/978-1-4614-7324-4_3
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)