Cover property syntax

In reply to hamza:

This moves the first comparison away from the first clock edge so there is no comparison with the default initialization value of tc_wdata. BTW a slightly simpler way to write this is

cover property ( @(posedge clk_bus) 1'b1 ##1 $changed(tc_wdata) );