直播预告：AI芯片设计验证利器——数据通路验证DPV解析

我们生活在大数据的世界中：B站日均播放量17亿次，微信每天发送约500亿条信息。如此庞大的数据量，需要采用浮点算术运算的芯片才能够以最快的速度和最高的精度进行处理、存储、分析和共享。而验证这些芯片上的数据处理逻辑（数据路径）的正确性至关重要。历史证明，未能及时发现错误将会导致高昂的代价。

基于仿真的传统验证方法效率低、耗时长，而且对于无遗漏地验证这些复杂的数学函数根本不切实际。以一个两个32位操作数的简单数学运算为例子，其中就会包含264个操作数。假设处理速度为每秒30亿次模拟速度，则需要195个计算年。这导致计算资源根本无法得到充分和高效利用。

鉴于此，新思科技很早就开始研究验证复杂数据路径逻辑的方法，并推出了业界首个用于对数据路径元素进行无遗漏验证的商用形式验证工具 VC Formal® Datapath Validation (DPV) 。

VC Formal DPV 可以针对独立开发的模型提供等效性检查，无遗漏地验证 RTL 实现是否与可信的 C/C++ 参考模型等效，并且可用于无遗漏地验证 C 到 C、C 到 RTL，以及 RTL 到 RTL 等连续设计改进，而无需任何验证平台、断言或覆盖率要求。

3月21日下午14点，新思科技联合智东西公开课策划推出的「新思科技 VC Formal DPV 在线研讨会」将正式开启，新思科技验证团队高级应用工程师李霈霈、解决方案事业部门高级验证工程师蒋帅宇两位主讲人将进行直播讲解。

在此次研讨会上，新思科技验证团队高级应用工程师李霈霈将以《AI 芯片设计验证利器——数据通路验证 DPV 解析》为主题，为我们介绍新思科技应对复杂验证挑战所开发出的 VC Formal DPV 方案，并分析 DPV 如何完备地、高效地进行算法模块单元的验证。

李霈霈拥有7年数字前端验证经验，目前在新思科技负责形式验证相关工作。

对研讨会感兴趣的朋友，可以扫描下方二维码，添加小助手奇普进行报名。已添加过奇普的老朋友，可以给奇普私信，发送“新思2301”即可报名。

同时，为了方便大家交流和咨询，针对「新思科技 VC Formal DPV 在线研讨会」还设置了专属交流群，将会邀请主讲人加入。希望加入交流群与主讲人直接认识和交流的朋友，也可以向奇普进行申请。