技术讲座【形式验证在高安全度芯片设计领域的应用】05日（周一）14:00-16:00

KT胡运旺

活动简介【时间】：2012年11月05日（周一）14:00-16:00 【地点】：上海碧波路635号 张江传奇广场3楼 IC咖啡
【主办方】：上海市集成电路行业协会
                          欧洲华人半导体协会
                          芯原微电子
【主题】：形式验证在高安全度芯片设计领域的应用
【主讲人】：刘军

分享内容简介：
随着半导体技术的发展，芯片设计的规模和复杂度也不断增加。工业界的数据统计，芯片的验证占用整个项目70%~80%的开发时间。随着芯片复杂度的不断增加，芯片的功能验证已经成为验证任务中的一个核心环节。设计者在缩短设计周期同时，还要尽可能保证芯片设计的正确性，两方面的矛盾已经越来越成为设计团队所面临的挑战。

在此方向上，本报告基于静态形式验证（Static Formal Verification）方法。主要讨论了形式验证的原理，如何应用形式验证，来代替传统的模拟仿真，补充传统仿真方面的不足，从而缩短开发时间，增加覆盖率。

报告涵盖了以下内容：
-静态形式验证的理论基础
-静态形式验证与动态验证的比较
-静态验证的工作方式
-静态验证的优缺点
-静态验证的应用领域

欧洲华人半导体协会简介：
欧洲华人半导体协会是由旅欧华人半导体专家学者发起组织的民间专业协会。 协会的宗旨是促进在欧洲半导体行业工作的华人之间的交流和联系，增进与其它地区华人半导体组织的合作，特别是包括：
增进专业交流和加强同仁之间的联系和了解。  
组织中欧半导体同仁共同参加的公开的交流活动，以推动中欧双方在各相关领域中的高层次交流。  
帮助提供中国留学生进入欧洲工业界的机会。 宣传专利保护知识，加强成员专利保护意识。
促进与半导体相关的技术与投资合作。

协会于2007年8月22日正式在慕尼黑法院注册成立。

本活动由芯原半导体赞助！