digital design using verilog hdl