C model and Verilog Model