34 - System Verilog的断言实操