systemverilog-local-variables-assertion
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Can i save variables when assertion is triggered and then use them to check the consequence? |
![]() ![]() |
3 | 1060 | November 18, 2020 |
Can I pass a local variable to an assertion (not seq or prop)? |
![]() ![]() |
3 | 1574 | June 17, 2014 |