remove test_verilog