Virtuoso ADE Verifier在高性能SoC设计中的应用