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