Correct error in verilog_tools function