In reply to hisingh:
always @( negedge rst_n , posedge clk )
begin
if ( ! rst_n ) begin
c_reset: cover(1) $display($time,,,"...") ; // Immediate assertion .
// Since you know that rst_n==0, you can use "1"
// but cover or assert of rst_n is OK too
// Drive initial values to signals
end
else
begin
// Non - Reset Logic here
.............................
end
end
// concurrent assertion statement; it needs a clocking event
cp: cover property(@(negedge rst_n) 1); // negedge rst_n occurred
Ben