You are on page 1of 2

OLD CODE:

ASSERTION TRIED:
ALWAYS_ACK_TX: assert always {not(pr_tx_start) ; pr_tx_start} |=> {[*0 to 22] ; vm_tx_done
and not(vm_rx_done) } ;

COUNTER EXAMPLE:
NEW CODE:

You might also like