您的位置:主页 > 新闻中心 > 行业资讯 >

新思科技为人工智能、图形和处理器设计提供快100倍的形式化验证收敛工具

行业资讯 / 2021-08-20 00:01

本文摘要:重点:VCFormal数据通路检验应用于基于一般化方法学,在C/C++算法和RTL设计构建之间的一致性检查方面比传统技术提升了100多倍。使用芯片业界普遍认为的的HECTOR先进设备技术,并且构建了以Verdi界面为基础的VCFormal的多样化调试功能新思科技(Synopsys,Inc.,纳斯达克股票代码:SNPS)近日发售了数据通路检验(DPV)应用于,这是其VCFormalreg;解决方案的一部分。

im体育

重点:VCFormal数据通路检验应用于基于一般化方法学,在C/C++算法和RTL设计构建之间的一致性检查方面比传统技术提升了100多倍。使用芯片业界普遍认为的的HECTOR先进设备技术,并且构建了以Verdi界面为基础的VCFormal的多样化调试功能新思科技(Synopsys,Inc.,纳斯达克股票代码:SNPS)近日发售了数据通路检验(DPV)应用于,这是其VCFormalreg;解决方案的一部分。数据通路检验应用于使用芯片业界普遍认为的HECTOR?先进设备技术,在设计和检验周期内为广大的数据通路密集型设计用户获取完善的一般化检验发散。

该应用于基于一般化方法学,其在C/C++算法和RTL设计构建之间的一致性检查上比传统的简单芯片系统(SoC)设计技术慢100多倍,并且反对迭代式检验保证设计的正确性,以前的建模方案是无法做的。三星奥斯汀研发中心(SARC)和高级计算出来实验室GPU/CPU团队检验负责人XiushanFeng回应:“我们的愿景是为移动SoC应用于研发高质量的CPU、GPU和系统IP,这就拒绝在十分凸的时间内构建具备高度竞争力的功能、卓越的整体性能和极低的功耗。C/C++算法与明确RTL设计构建的一致性一般化方法学为我们以数据通路居多的设计获取完善的检验,以便在几分钟内有效地找到很多极端应用于场景下启动时的设计错误,而用于其他传统仿真技术是不有可能做的。

VCFormal的HECTOR技术获取同类最佳的展现出和结果质量,需要顺利增加传统建模工作量,并协助在设计中捕捉30多个RTL错误。”人工智能(AI)、图形和处理器设计牵涉到简单的算法功能模块,其数据通路量相当大,必须用C/C++等高级语言对它们的不道德展开建模。

这些设计所构建的RTL因此必须与其对应的C/C++模型展开功能等价性检验。VCFormal与Verdireg;自动调试系统的内在构建使设计和检验团队需要精彩地用于一般化检验技术和自动对一般化结果根源分析功能。此外,VCS在VCFormal中的内在构建便于将一般化分析带入到现有的检验环境中。

im体育

数据通路检验应用于重新加入了大大快速增长的VCFormal应用于人组中,其还包括属性检验(FPV)、时序电路等价检验(SEQ)、寄存器检验(FRV)、一般化覆盖面积分析器(FCA)、连接性检查(CC)、X-Propogation检查(FXP)、一般化Testbench分析器(FTA)、属性自动萃取(AEP)和重返模式加速器(RMA)。新思科技芯片检验事业部高级副总裁AjaySingh回应:“更加多的数据通路密集型设计必须专门的数据通路检验技术来构建更慢的检验发散。我们长期以来仍然与业界领头羊合作,为先进设备的SoC获取全面的检验解决方案。我们在数据通路检验技术上的投资需要更慢地协助用户已完成算法检验,并减缓其芯片产品上市时间。

”供货VCFormal数据通路检验应用于现上市。


本文关键词:新思,科技,为,人工智能,、,图形,和,处理器,im体育

本文来源:im体育-www.meanwell.gd.cn