AI驱动的设计应用
先进的芯片为我们每天依赖的卓越软件提供强力支持。从智能手机、可佩戴设备、智能医疗设备,到无人驾驶汽车,芯片是一切的基础。
从基于标准的 IP 核到完整的定制架构,新思科技拥有值得信赖的 IP 核和子系统专家,能够满足您独特的芯片需求。
新思科技是全球领先的硬件加速验证和虚拟化解决方案提供商
人工智能及处理器设计包含了大量不容易用仿真完整验证的算法模块。
在本次《芯课程》中, 我们将介绍如何使用新思科技VC Formal DPV来加速收敛这类运算器的验证。并且将演示如何对C/C++ 模型和RTL设计进行形式等效性检查, 达到完整高效的验证。
Penny Yang 是新思科技形式验证团队的Staff 应用工程师。在数字芯片设计领域有13年经验,曾经在MediaTek, VIA等公司担任验证及设计工程师。目前负责VC Formal 产品,支持解决客户问题。Penny 毕业于清华大学,并于台湾大学取得硕士学位。
活动日期:2021年06月18日 周五
活动时间:16:30-17:20 p.m.
课程录播:扫描二维码报名观看