VLSI/FPGA Design P2-S5: Verilog for Design and Verification