电子设计自动化（EDA）软件工具领导厂商Synopsys日前宣布，由ARM和Synopsys公司推出的SystemVerilog验证方法学（VMM）被中国主要电子公司采用，用于开发先进验证环境。Synopsys 还宣布，《SystemVerilog验证方法学》一书中文版已由中国航空航天大学出版发行。至今，本书的英文版已售出3,500多本。
《SystemVerilog验证方法学》由ARM和Synopsys公司的技术专家共同撰写，书中描绘了如何使用SystemVerilog创建采用覆盖主导、随机约束、基于断言验证技术的综合验证环境，同时为可互用验证组件指定了建库数据块。VMM方法学得到全球数百家SoC和硅IP验证团队的采用，加速开发基于SystemVerilog的功能强大的验证环境，并有助于以较少时间和努力达到可测量的功能覆盖率目标。
Spreadtrum研发副总裁冀晋表示：“主流芯片设计越来越需要使用可广泛重用IP的基于SoC的设计技术。这增加了设计的复杂性，给工程师提出更大的验证挑战，需要采用强大的新验证技术和方法。我们采用了VMM方法学的标准，它极大提高了我们芯片验证过程的质量和生产率。《SystemVerilog验证方法》是为芯片设计师和验证工程师提供的一本重要且实用的参考书。”
同方微电子公司CTO徐磊说：“强大的可预测系统化验证方法学是开发复杂SoC产品必不可少的基础。VMM方法学将业内用于SystemVerilog开发和采用先进的验证技术的最佳实践具体化。无论是验证工程师、设计工程师还是项目主管，《SystemVerilog验证方法学》都可以帮助这些读者掌握最先进的验证方法。”
CEC华大电子设计刘伟平博士表示：“随着芯片规模越来越大、设计复杂度越来越高，芯片设计中的验证成为设计师的挑战。运用VMM方法学的SystemVerilog可以有效地帮助芯片设计工程师解决验证挑战。我们要感谢Synopsys和ARM将基于SystemVerilog的验证技术介绍给中国，并出版了《SystemVerilog验证方法学》一书。采用VMM方法学的中国芯片开发团队现在可以分享全球专家使用的先进设计验证方法了。”
ARM中国总裁谭军表示：“SystemVerilog在中国的广泛采用让新一代芯片开发人员能够利用先进的验证技术进行复杂的SoC设计。由ARM和Synopsys紧密合作共同研发的《SystemVerilog验证方法学》是利用SystemVerilog能力提高验证生产率和质量的要点指导。”
Synopsys验证市场部副总裁George Zafiropoulos表示：“VMM验证方法学迅速成为SystemVerilog实际的行业标准，使全球芯片研发团队取得了所预测验证的成功。《SystemVerilog验证方法学》中文版的发行标志着向中国不断增长的芯片开发团队引入先进技术所迈出的一大步。”
