Redirecting to Verilog