verilog和UVM应该不错吧