SVA-stable
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Assertion using $stable with |-> #[...] | 7 | 11852 | 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 | 1410 | May 7, 2020 |