set xtdoOutputType Verilog