OK, the assert (signal==1) is the correct assertion…
Should I use the assert property (…) each time I want to refer to an edge of the signal (posedge/negedge)?
OK, the assert (signal==1) is the correct assertion…
Should I use the assert property (…) each time I want to refer to an edge of the signal (posedge/negedge)?