JasperGold: Ensure that a property holds after running for at least N cycles
Using JasperGold want to verify the following property: I want to verify that if a (binary) signal A is high in cycle N, then signal B must be low all the time. My tcl script looks like this: