 R5 M+ w5 i3 p, o$ b# c
我们生活在大数据的世界中：B站日均播放量17亿次，微信每天发送约500亿条信息如此庞大的数据量，需要采用浮点算术运算的芯片才能够以最快的速度和最高的精度进行处理、存储、分析和共享而验证这些芯片上的数据处理逻辑（数据路径）的正确性至关重要。
9 N+ j6 g% M( I, y- M) Q 历史证明，未能及时发现错误将会导致高昂的代价基于仿真的传统验证方法效率低、耗时长，而且对于无遗漏地验证这些复杂的数学函数根本不切实际以一个两个32位操作数的简单数学运算为例子，其中就会包含264个操作数。 " U9 v( h; j. z" M3 {& G
假设处理速度为每秒30亿次模拟速度，则需要195个计算年这导致计算资源根本无法得到充分和高效利用鉴于此，新思科技很早就开始研究验证复杂数据路径逻辑的方法，并推出了业界首个用于对数据路径元素进行无遗漏验证的商用形式验证工具 VC Formal® Datapath Validation (DPV) 。 % h& K3 p+ ], _4 B! H4 o: A
VC Formal DPV 可以针对独立开发的模型提供等效性检查，无遗漏地验证 RTL 实现是否与可信的 C/C++ 参考模型等效，并且可用于无遗漏地验证 C 到 C、C 到 RTL，以及 RTL 到 RTL 等连续设计改进，而无需任何验证平台、断言或覆盖率要求。 ( L" P9 s7 Z @( S4 T$ O+ ~3 m
3月21日下午14点，新思科技联合智东西公开课策划推出的「新思科技 VC Formal DPV 在线研讨会」将正式开启，新思科技验证团队高级应用工程师李霈霈、解决方案事业部门高级验证工程师蒋帅宇两位主讲人将进行直播讲解。
3 z6 H# j! z- O) S+ d8 ]1 I 在此次研讨会上，新思科技验证团队高级应用工程师李霈霈将以《AI 芯片设计验证利器——数据通路验证 DPV 解析》为主题，为我们介绍新思科技应对复杂验证挑战所开发出的 VC Formal DPV 方案，并分析 DPV 如何完备地、高效地进行算法模块单元的验证。
: h- w6 K& K8 a" \0 D/ W- @ 李霈霈拥有7年数字前端验证经验，目前在新思科技负责形式验证相关工作。 + I1 H' ?5 D a+ T, o
/ d1 s. _; Q1 P* z3 Z
4 T: B0 z0 \& K% G; z) H( l
. p' F# K4 p j$ T6 ?" \8 H, N1 s7 p1 O Y, u
| 
R5 M+ w5 i3 p, o$ b# c
