In reply to dave_59:
Hi Dave ,
A follow-up question related to strong properties ::
bit a , b , c , clk ;
property abc ;
@( posedge clk ) $rose( a ) |=> strong( b ##1 c ) ;
endproperty
assert property ( abc ) else $display(" TIME : %0t Assertion Fails" , $time ) ;
// Posedge occurs at time 5 , 15 , 25 , 35 , etc ..
initial forever #5 clk = ! clk ;
initial begin
#4 ; a = 1 ;
#10 ; b = 1 ;
#1 ; $finish() ;
// At TIME : 15 , Consequent starts evaluation
end
I observe No O/P ( not sure if this is how the LRM defines it ) .
Could you please help me with the code’s working
( If Simulation ends at TIME : 16 I observe Assertion Failure as expected )