system verilog assertion when $rose asserted two clock singnal are high
SVA important snippet module test; // property p; //initial //begin bit a; bit b; bit c; bit clk,rst; // always@(posedge clk) // a_cc: assert property(@(posedge clk) $rose(a) |=> ##1 (b[=2]) ##2 c; // a_cc:assert property (p); ...