- AI芯片设计验证利器——数据通路验证DPV解析
- Formal DPV在嵌入式AI处理器的案例验证
- 问答环节
我们生活在大数据的世界中:B站日均播放量17亿次,微信每天发送约500亿条信息。如此庞大的数据量,需要采用浮点算术运算的芯片才能够以最快的速度和最高的精度进行处理、存储、分析和共享。而验证这些芯片上的数据处理逻辑(数据路径)的正确性至关重要。历史证明,未能及时发现错误将会导致高昂的代价。
鉴于此,新思科技很早就开始研究验证复杂数据路径逻辑的方法。例如,基于仿真的传统验证方法效率低、耗时长,而且对于无遗漏地验证这些复杂的数学函数根本不切实际。以一个两个32位操作数的简单数学运算为例子,其中就会包含264个操作数。假设处理速度为每秒30亿次模拟速度,则需要195个计算年。这导致计算资源根本无法得到充分和高效利用。
3月21日下午14点,新思科技联合智东西公开课策划推出的「新思科技 VC Formal DPV 在线研讨会」将开讲,主讲使用Formal Datapath Validation验证AI处理器计算。本次研讨会将由新思科技验证团队高级应用工程师李霈霈、新思科技解决方案事业部门高级验证工程师蒋帅宇共同主讲。
在本次研讨会当中,李霈霈将以《AI芯片设计验证利器——数据通路验证DPV解析》为主题,为我们介绍新思科技应对负责验证挑战的所开发出的VC Formal DPV方案,并分析DPV如何完备地、高效地进行算法模块单元的验证;
蒋帅宇将以《Formal DPV在嵌入式AI处理器的案例验证》为主题,介绍新思科技 ARC® NPX嵌入式AI处理器系列IP及使用VC Formal DPV验证该系列IP数据通路功能。从而了解新思科技ARC NPX6处理器所支持的最新和最复杂的CNN和RNN神经网络。目前,ARC® NPX嵌入式AI处理器方案已经广泛应用于汽车、数据中心、高端游戏、下一代增强现实和监控的AI SoCs中。
