DSO.ai
础滨驱动的设计应用
了解更多 →
人工智能及处理器设计包含了大量不容易用仿真完整验证的算法模块。
在本次《芯课程》中, 我们将介绍如何使用新思科技VC Formal DPV来加速收敛这类运算器的验证。并且将演示如何对C/C++ 模型和RTL设计进行形式等效性检查, 达到完整高效的验证。
活动日期:2021年06月18日 周五
活动时间:16:30-17:20 p.m.
课程录播:扫描二维码报名观看