changed
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Assertion to check x or z when signal toggles instead of every clock tick | 3 | 6328 | July 28, 2023 | |
SVA: Using $changed in antecedent | 4 | 7739 | March 31, 2017 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Assertion to check x or z when signal toggles instead of every clock tick | 3 | 6328 | July 28, 2023 | |
SVA: Using $changed in antecedent | 4 | 7739 | March 31, 2017 |