source insight verilog 常量