In reply to Adarsh Santhosh:
I was wrong in how the simulator works for something like:
// signals a,b, and c are nonblocked assigned using posedge clk
ap_1: assert property(@(a) b[->1] !c s_until (a == 'd1000));
Above simulates OK even though a changes in the NBA region.
I am currently writing a paper on this, but it is not yet completed.
Generally, the preferred approach is:
ap_1: assert property(@(posedg clk) $changed(a) |-> b[->1] ##0 !c s_until (a == 'd1000));
I generally avoid the until unless the LHS is a simple expression rather than a sequence.
see my paper Reflections on Users’ Experiences with SVA, part 2
Reflections on Users’ Experiences with SVA, Part II
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) Amazon.com
- 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/