[SVA] signal rise and stay stable -> how to write an assertion?

  1. ivlsi
    ivlsi
    Hi All,

    How can I write an assertion for a signal, which should rise within between 10 to 20 cycles and stay stable (HIGH) until the assertion will be disabled?

    Thank you!
Results 1 to 1 of 1