I'm currently trying to verify an arbiter using SVA. Can anyone here enlighten me on how to write an assertion property to check that for every req made, an ack has been generated? Thanks very much in advance.
Re: SVA: property to check number of ack equals number of re
seow said:
Hi,
I'm currently trying to verify an arbiter using SVA. Can anyone here enlighten me on how to write an assertion property to check that for every req made, an ack has been generated? Thanks very much in advance.
Fairly straight forward if you have a requester ID. Before I give the code, if you use VCS, try and use the SVA checker lib element assert_req_ack_unique - precisely what you are looking for.
Let me know if you need more help! In my company we've done this with PSL, OVL, SVA and with Formal and simulation technologies.