Verilog Lecture Notes