注册 | 登录      

社区主页 > 活动列表 > 当前活动

技术讲座【形式验证在高安全度芯片设计领域的应用】

已结束

时间: 11月05日 14:00 - 16:00

地点: 上海 上海碧波路635号 张江传奇广场3楼 IC咖啡

活动人数: 50人

参与对象: 所有人可参加

费用: 免费

发起者: IC咖啡

0人赞了一下 | 0人踩了一下

赞一下 踩一下 0 人已参加 313 次浏览

活动描述

主讲嘉宾:刘军


分享内容简介:

随着半导体技术的发展,芯片设计的规模和复杂度也不断增加。工业界的数据统计,芯片的验证占用整个项目

70%~80%的开发时间。随着芯片复杂度的不断增加,芯片的功能验证已经成为验证任务中的一个核心环节。设

计者在缩短设计周期同时,还要尽可能保证芯片设计的正确性,两方面的矛盾已经越来越成为设计团队所面临的

挑战。


在此方向上,本报告基于静态形式验证(Static Formal Verification)方法。主要讨论了形式验证的原理,如何

应用形式验证,来代替传统的模拟仿真,补充传统仿真方面的不足,从而缩短开发时间,增加覆盖率。


报告涵盖了以下内容:

-静态形式验证的理论基础

-静态形式验证与动态验证的比较

-静态验证的工作方式

-静态验证的优缺点

-静态验证的应用领域

欧洲华人半导体协会简介:

欧洲华人半导体协会是由旅欧华人半导体专家学者发起组织的民间专业协会。 协会的宗旨是促进在欧洲半导体

行业工作的华人之间的交流和联系,增进与其它地区华人半导体组织的合作,特别是包括: 

增进专业交流和加强同仁之间的联系和了解。

组织中欧半导体同仁共同参加的公开的交流活动,以推动中欧双方在各相关领域中的高层次交流。  

帮助提供中国留学生进入欧洲工业界的机会。 宣传专利保护知识,加强成员专利保护意识。

促进与半导体相关的技术与投资合作。



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


活动主办方:

上海市集成电路行业协会


欧洲华人半导体协会


芯原半导体

可能感兴趣的活动查看全部活动>>

可能感兴趣的职位

海丁微名片 - 人才地图 - IT求职 - 海丁介绍 - 客服帮助 - 友情链接 - 网站地图

海丁网 @2011-2014(沪ICP备12001151号)