SVA-stable
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Assertion using $stable with |-> #[...] |
![]() ![]() ![]() ![]() |
7 | 12830 | January 23, 2023 |
I want to write an assertion for checking that the data stable for 16 clock cycles and continue the checking for the next 16 cycles and so on.?How can i write this? |
![]() ![]() ![]() ![]() |
10 | 1624 | May 7, 2020 |