example of system verilog assertions