I am trying to check the following
always @(posedge clk or negedge rstN) begin
if (!rstN)
last_phase <= 1'b0;
else
last_phase <= sample_grant;
end
In the above code i am trying to check the if condition that is if rstN is 0 for that my rule is like below
CONNECTION,phase,,JDA:LOW,,last_phase
CONDITION,,rstN,0
LATENCIES,0,0,1,0,0
After running the app the assertion is proven but cover is unreachable
Can anyone help me out this.