基于SystemVerilog的SoC功能验证方法研究