为帮助国内设计业者解决验证方面的问题，日前，Verisity联合它在国内的代理商NewPlus，在北京、上海等地举办了有关验证过程的自动化的研讨会，会上，Verisity的专家详细介绍Verisity公司的验证过程自动化(VPA)，系统验证方法学(SVM)，以及验证管理(VM)等。研讨会不仅从理论上、工程应用上进行介绍，而且还通过演示来展示相关技术和方法。探讨在可控性、可观测性以及在扩展性方面的验证方法。还包括了在设计验证中如何应用Vefisity平台的成功经验。

本文摘自《中国集成电路》