Add verilog_lab