Notes from Lesson 3: verilog