91吃瓜网

《芯课程》人工智能及处理器设计验证必备利器VC Formal DPV

课程概要

人工智能及处理器设计包含了大量不容易用仿真完整验证的算法模块。

在本次《芯课程》中, 我们将介绍如何使用新思科技VC Formal DPV来加速收敛这类运算器的验证。并且将演示如何对C/C++ 模型和RTL设计进行形式等效性检查, 达到完整高效的验证。

chip, design, hardware

主讲师:楊欣嘉 新思科技应用工程师

Penny Yang 是新思科技形式验证团队的Staff 应用工程师。在数字芯片设计领域有13年经验,曾经在MediaTek, VIA等公司担任验证及设计工程师。目前负责VC Formal 产物,支持解决客户问题。Penny 毕业于清华大学,并于台湾大学取得硕士学位。

活动详情


活动日期:2021年06月18日 周五

活动时间:16:30-17:20 p.m.

课程录播:扫描二维码报名观看

了解更多