synopsys推出的基于system verilog的验证方法学，可看做rvm的sv版本。