Complicated assertion

SystemVerilog
, ,
2

In reply to akivama:

Follow the waveform
Google Photos 


sigtype v;
($rose(result_valid)) |-> 
    ##1 (1,v=sig) ##1 v==sig[*0:$] ##1 ($rose(result_valid));