I am trying to check this part of code
always @(posedge clk or negedge rstN) begin
if (!rstN)
last_phase <= 1'b0;
else
last_phase <= sample_grant;
end
In this am trying to check only if condition i.e.., if rstN is 0 for this i wrote connection rule as:
CONNECTION,phase,,JDA:LOW,,last_phase
CONDITION,,rstN,0
LATENCIES,0,0,1,0,0
So after running the app the assertion is getting proven but cover is unreachable
Can any one help me out ?