在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 2736|回复: 0

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

[复制链接]
发表于 2012-11-3 13:39:49 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

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

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

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

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

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

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

本活动由芯原半导体赞助!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 01:00 , Processed in 0.042867 second(s), 9 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表