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