University of Electronic Science and Technology of China Verilog lesson plan