Renee verilog