Modeling using Verilog