I’d like to verify that a transfer does not start under certain conditions. For that I need to check that an appropriate signal stays ‘0’ for some time.
I tried to the following: first check_value to make sure it is ‘0’ at current moment. then (as I thought) check_stable would monitor the signal for the given time to make sure it hasn’t toggled.
But it looks like check_stable looks backwards in time:
# UVVM: ID_POS_ACK 532.5 ns TB seq. check_value(sl, 0) => OK. Value was 0. 'Verify that the read is not active'
# UVVM:
# UVVM: =========================================================================================================================================================================
# UVVM: *** ERROR #2 ***
# UVVM: 532.5 ns TB seq.
# UVVM: check_stable(sl, 100 ns) => Failed. Value switched from 1 to 0 72.5 ns ago. Expected stable for 100 ns. 'Read must not start if the write is active'
# UVVM: =========================================================================================================================================================================
How do i check for signal stability from the current time point?