hardware modeling using verilog