switching to qverilog