形式验证训练营到达中国

电视在中国推出了一个随需应变的形式验证培训服务。这增加了中国国家已经服务包括那些在欧洲,亚洲和北美洲。

形式验证越来越主流硬件验证的工具变得更加强大,更加自动化。电视的培训旨在让工程师准备“正式”解释的基础学科。工程师就能够扩大他们的正式的理解在课堂上通过工作实例,证明之前的属性在自己的设计。

改进的自动化在正式体现在应用程序旨在解决特定的验证的挑战,如superlinting,时钟域交叉和连通性。以连接为例,用户描述块之间的信号连接在一个子系统或SOC水平,和工具自动执行必要的连接检查。这些自动检查能够减少需要大量昂贵的集成测试和模拟。

电视的形式验证训练营关注正式程序和通用的验证功能。

电视与EDA厂商紧密合作,提供课程无论工具的代表。

这确保代表能够应用技术课程后直接在项目。最后的会议通常是在写作过程属性和约束(使用系统Verilog)在一个真正的设计。这样就避免了“白纸综合症”,代表们回来时经常面临课程学习新的语言和技术。

的创始人和CEO迈克·巴特利,电视,评论说:“正式的验证已经成熟,在某种程度上它可以被应用在大多数的设计。它提供了一个真正的解决方案的局限性基于仿真的验证。我们现在的课程设计,打包和部署工程师的起点。课程在中国的成功执行支撑,是衡量该公司有多严重扩大其全球业务。”

DC插座http://www.cxesw.com