vsim -l sim.log -assertdebug -voptargs=+acc top_tb -do "run 10000us" +UVM_TESTNAME=my_case0 sva在波形中查看 sva在波形中查看 sva在波形中查看