Hot: verilog