CM-Verilog