9月2日电巢直播《FPGA/SOC形式化验证》
直播时间:
2021年09月02日 20:00
直播主题:
【大咖直播】《FPGA/SOC形式化验证》
直播简介:
感谢您使用电巢APP, PC端建议使用Google Chrome浏览器进行观看!
讲师介绍:
荣庆安老师|EDA365论坛特邀版主,原华为器件可靠性技术首席专家
原华为器件可靠性技术首席专家、器件工程专家组主任、器件归一化工作奠基人;
20多年交换机、路由器、传输、基站等产品器件工程设计;
主持多项重大失效问题攻关,完成了逻辑、储存、光器件等领域器件优选库建设;
参与中国器件标准工作,国内外发表论文4篇,获器件相关6项发明专利。
陈维嵬|西门子EDA OneSpin中国区技术经理
陈维嵬拥有诺维萨德大学的电子和计算机双硕士学位,加入OneSpin两年多的时间,与大中华区新老客户紧密合作,帮助领先的公司成功实现其验证目标,在复杂的设计中评估和实施先进的形式验证解决方案拥有丰富的经验。
主题背景:
在芯片设计和基于FPGA的设计流程中数字前端验证是人力花费最多的一个环节,可以说芯片数字前端的设计流程就是设计和验证的交替迭代。验证占整个芯片设计流程70%的人力、物力资源,流片失败的原因中70%是由于验证不充分导致的功能错误。
目前业界主流的验证方法主要是以UVM(Universal Verification Methodology)为代表的验证方法学,然而,这些基于电路仿真的验证方法存在较多的根本性问题一直无法有效解决,因此,业界一直在寻找其他更为有效的验证方法学。本次直播分享,荣老师和陈老师分享的《形式化验证》就是其中之一。与传统的基于仿真的验证方法相比,形式化验证有着本质性的不同。形式化验证方法拥有很多特殊的优点,能够在理论上完全克服传统验证方法的缺陷和不足。
直播要点:
典型的验证方法介绍
什么是形式化验证
形式化验证的主要优点
形式化验证软件工具:Onespin
适合对象:
IC工程师
FPGA工程师
硬件工程师
电气工程、电子信息相关专业学生