seow
Newbie level 2
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.
Seow
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.
Seow