VC Formal DPV成为业界首个用于对数据路径元素进行无遗漏验证的商用形式验证工具。 VC Formal DPV针对独立开发的模型提供等效性检查,无遗漏地验证RTL实现是否与可信的C/C++参考模型等效,并且可用于无遗漏地验证C到C、C到RTL,以及RTL到RTL等连续设计改进,而无需任何验证平台、断言或覆盖率要求。VC Formal DPV可以灵敏...
3月21日下午14点,新思科技联合智东西公开课策划推出的「新思科技 VC Formal DPV 在线研讨会」将开讲,主讲使用Formal Datapath Validation验证AI处理器计算。本次研讨会将由新思科技验证团队高级应用工程师李霈霈、新思科技解决方案事业部门高级验证工程师蒋帅宇共同主讲。
2017年,HECTOR 技术被整合到 VC Formal® Datapath Validation (DPV) App中,该应用现已能够支持所有现代C/C++语言和基于业界领先的 Verdi® SoC Debug Platform的完整调试环境。VC Formal DPV 成为业界首个用于对数据路径元素进行无遗漏...
3月21日下午14点,新思科技联合智东西公开课策划推出的「新思科技 VC Formal DPV 在线研讨会」将开讲,主讲使用Formal Datapath Validation验证AI处理器计算。本次研讨会将由新思科技验证团队高级应用工程师李霈霈、新思科技解决方案事业部门高级验证工程师蒋帅宇共同主讲。
【芯课程】业界数据通路验证天花板 VC Formal DPV最强攻略来辣!不管是人工智能、图形图像或是CPU,这些包含了大量计算密集型模块的处理器设计往往难以基于仿真进行完整验证。而新思科技VC Formal DPV作为数据通路验证天花板,是解决难题的利器。本期芯课程将与你一起探讨形式验证工具来验证数据通路的必要性,更有C/C++ mod...
VC Formal DPV可提供100%的信任度,其RTL设计实现符合C/C++参考算法,因此与基于仿真的技术相比,可以显著加快数据路径组件的签核。 随着电子设备变得越来越智能,人工智能(AI)和机器学习(ML)芯片被广泛应用于许多领域。由于AI/ML芯片使用浮点运算来处理大量数据,因此VC Formal DPV非常适合此类芯片设计,获得了全球AI/ML...
人工智能及处理器设计包含了大量不容易用仿真完整验证的算法模块。 在本次《芯课程》中, 我们将介绍如何使用新思科技VC Formal DPV来加速收敛这类运算器的验证。并且将演示如何对C/C++ 模型和RTL设计进行形式等效性检查, 达到完整高效的验证。 主讲师:楊欣嘉 新思科技应用工程师 ...
VC Formal DPV成为业界首个用于对数据路径元素进行无遗漏验证的商用形式验证工具。 VC Formal DPV针对独立开发的模型提供等效性检查,无遗漏地验证RTL实现是否与可信的C/C++参考模型等效,并且可用于无遗漏地验证C到C、C到RTL,以及RTL到RTL等连续设计改进,而无需任何验证平台、断言或覆盖率要求。VC Formal DPV可以灵敏...