新思科技为人工智能、图形和处理器设计提供快100倍的形式化验证收敛工具_亚博网页登陆网页登入

产品中心 | 2021-01-21
本文摘要:关键:VCFormal数据通路检验运用于根据一般化方法学,在C/C 优化算法和RTL设计构建中间的一致性查验层面比传统式技术性提高了100几倍。

亚博网页登陆

关键:VCFormal数据通路检验运用于根据一般化方法学,在C/C 优化算法和RTL设计构建中间的一致性查验层面比传统式技术性提高了100几倍。应用处理芯片业内广泛认为的的HECTOR技术设备技术性,而且构建了以Verdi页面为基本的VCFormal的多元化调节作用新思科技(Synopsys,Inc.,Nasdaq股票号: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)、图型和CPU设计涉及简易的优化算法程序模块,其数据通路量非常大,务必用C/C 等程序设计语言对他们的不负责任进行建模。

亚博官方网站

这种设计所构建的RTL因而务必两者之间相匹配的C/C 实体模型进行作用等额的性检验。VCFormal与Verdireg;全自动调节系统软件的本质构建使设计和检验精英团队必须精彩纷呈地用以一般化检验技术性和全自动对一般化結果根本原因剖析作用。

除此之外,VCS在VCFormal中的本质构建有助于将一般化剖析带到到目前的检验自然环境中。数据通路检验运用于重进了大大的持续增长的VCFormal运用于人组中,其还包含特性检验(FPV)、时序电路等额的检验(SEQ)、存储器检验(FRV)、一般化覆盖范围解析器(FCA)、连通性查验(CC)、X-Propogation查验(FXP)、一般化Testbench解析器(FTA)、特性全自动提纯(AEP)和重回方式网络加速器(RMA)。新思科技处理芯片检验业务部副总裁AjaySingh答复:“更为多的数据通路密集式设计务必专业的数据通路检验技术性来构建变慢的检验散发。大家一直以来依然与业内引领者协作,为技术设备的SoC获得全方位的检验解决方法。

我们在数据通路检验技术性上的项目投资必须变慢地帮助客户顺利完成优化算法检验,并缓解其处理芯片商品上市时间。”供应VCFormal数据通路检验运用于现发售。


本文关键词:亚博官方网站,亚博网页登陆,亚博网页登陆网页登入

本文来源:亚博官方网站-www.pydianzi.com