systemverilog assertions and functional coverage