How to write a checker in systemverilog/UVM without assertions to check every req get’s an ack after 10 clock cycles, there can be second or third req when the first req is still waiting for an ack. How can we handle multiple requests?
In reply to poojitha.ch:
I address that topic in my paper
1.1.1 Attempt Uniqueness
Every request has its own grant. This requirement assures that each successful attempted
assertion from start to completion is unique; this means that if multiple assertions are active
waiting for a matched consequent then a successful consequent should not satisfy all those
active assertions.
If you do not want to use SVA, maybe because your code is in a class where concurrent assertions are illegal, you can then use tasks. I explain this use in my paper:
- Understanding the SVA Engine,
Verification Horizons - July 2020 | Verification Academy
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 | Verification Academy
- Free books: * Component Design by Example FREE BOOK: Component Design by Example … A Step-by-Step Process Using VHDL with UART as Vehicle | Verification Academy
- 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 - July 2020 | Verification Academy - Reflections on Users’ Experiences with SVA, part 1 and part 2
Reflections on Users’ Experiences with SVA | Verification Horizons - March 2022 | Verification Academy
Reflections on Users’ Experiences with SVA, Part II | Verification Horizons - July 2022 | Verification Academy - SVA Alternative for Complex Assertions
Verification Horizons - March 2018 Issue | Verification Academy - SVA in a UVM Class-based Environment
SVA in a UVM Class-based Environment | Verification Horizons | Verification Academy - 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/