In reply to ak180:
See my paper
It has a figure that explains the timing regions in a simple way.
IMMEDIATE ASSERTIONS AND SCHEDULED REGIONS
1800:4.4 Stratified event scheduler defines the regions within a time slot. The figure below is a graphical view of the relationship of constructs and the regions in which region they are processed. Note that these regions do iterate from the Active region to the Reactive region on an as-needed basis.
Ben Cohen
http://www.systemverilog.us/ ben@systemverilog.us
** SVA Handbook 4th Edition, 2016 ISBN 978-1518681448
…
- SVA Package: Dynamic and range delays and repeats SVA: Package for dynamic and range delays and repeats - SystemVerilog - Verification Academy
- Free books:
- Component Design by Example https://rb.gy/9tcbhl
- Real Chip Design and Verification Using Verilog and VHDL($3) https://rb.gy/cwy7nb
- A Pragmatic Approach to VMM Adoption
http://SystemVerilog.us/vf/VMM/VMM_pdf_release070506.zip
http://SystemVerilog.us/vf/VMM/VMM_code_release_071806.tar
- Papers:
Understanding the SVA Engine,
Verification Horizons
Reflections on Users’ Experiences with SVA, part 1
Reflections on Users’ Experiences with SVA
Reflections on Users’ Experiences with SVA, part 2
Reflections on Users’ Experiences with SVA - Part II
Understanding and Using Immediate Assertions
Understanding and Using Immediate Assertions
SUPPORT LOGIC AND THE ALWAYS PROPERTY
http://systemverilog.us/vf/support_logic_always.pdf
SVA Alternative for Complex Assertions
https://verificationacademy.com/news/verification-horizons-march-2018-issue
SVA in a UVM Class-based Environment
https://verificationacademy.com/verification-horizons/february-2013-volume-9-issue-1/SVA-in-a-UVM-Class-based-Environment
SVA for statistical analysis of a weighted work-conserving prioritized round-robin arbiter.
https://verificationacademy.com/forums/coverage/sva-statistical-analysis-weighted-work-conserving-prioritized-round-robin-arbiter.
Udemy courses by Srinivasan Venkataramanan (http://cvcblr.com/home.html)
https://www.udemy.com/course/sva-basic/
https://www.udemy.com/course/sv-pre-uvm/