随着ic产业的发展，芯片的设计规模以及设计的复杂性变得越来越大，因此我们提升芯片设计能力的同时，对芯片功能验证的要求也相应提高。据统计，芯片项目研发中，60%-70%的时间花在功能验证工作上。所以获取全新、有效率的验证方法和建立完善的验证环境已变得越来越重要。在传统的验证方法已不能胜任今天的验证要求的时候，产品开发经理或项目管理者就需要通过积极的姿态，将功能验证作为总体设计方法的一个非常重要的部分加以解决。verisity公司是一家全球著名的提供soc功能验证解决方案的eda公司，其拥有功能验证最大的市场份额。为业界提供了具有工程意义的完整的验证解决方案 - vpa（verification process automation验证过程的自动化）。彻底解决了目前困扰芯片开发瓶颈问题，提高了芯片的设计品质以及设计的周期。此方案可以使设计者的设计验证从模块级、芯片级到系统级的过程完全自动化。包括验证计划的制定、系统模型的tlm开发、rtl模块级和系统级的验证以及整个验证过程的管理。此外还提供全新的基于硬件加速和硬件仿真的“spex”验证平台。verisity最新的验证过程自动化（vpa）系统包括：- spexsim：模块和芯片级验证和仿真工具（具备仿真能力的specman）- spextreme：高性能芯片级和系统级验证加速与硬件仿真系统- vmanager：项目级验证流程管理系统- evc和erm：即插即用的可重用验证模块以及完整的验证重用方法学- xtreme ii：当前最易用、灵活的验证加速解决方案今天，verisity联合它在国内的代理商newplus公司，在北京、上海等地举办了有关验证过程的自动化的研讨会，会上，verisity的专家详细介绍verisity公司的验证过程自动化（vpa），系统验证方法学（svm ），以及验证管理（vm）等。 研讨会不仅从理论上、工程应用上进行介绍，而且还通过演示来展示相关技术和方法。探讨在可控性、可观测性以及在扩展性方面的验证方法。还包括了在设计验证中如何应用verisity平台的成功经验。另外，verisity和newplus公司的专业技术服务人员还将为您提供ic验证方面的咨询，帮助您在产品开发方面取得更大成功
