设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

创芯云服务 : 创芯大讲堂 | 创芯人才网 | 数字IC职业培训 EETOP诚邀线上IC培训讲师!

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › IC验证 › IC验证资料 › 《SOC的形式化验证方法和关键路径约束方法》 ...

1 2 345 6 7 8 9 10 ... 17 / 17 页下一页

发新帖

楼主: wgod

《SOC的形式化验证方法和关键路径约束方法》

发表于 2008-1-12 08:36:30 | 显示全部楼层

thanks

回复支持反对

发表于 2008-1-14 13:04:14 | 显示全部楼层

好东东

畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！

回复支持反对

发表于 2008-1-15 09:29:18 | 显示全部楼层

谢谢，会好好研究

回复支持反对

发表于 2008-2-4 02:52:42 | 显示全部楼层

Thanks for your sharing

回复支持反对

发表于 2008-3-2 22:32:11 | 显示全部楼层

谢谢楼主！

畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！

回复支持反对

发表于 2008-3-6 09:17:31 | 显示全部楼层

That's good.

回复支持反对

发表于 2008-3-6 22:07:45 | 显示全部楼层

据我所知，形式验证目前仅仅用在网表一致性检查方面

畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！

回复支持反对

发表于 2008-3-24 14:40:46 | 显示全部楼层

正需要的正需要的正需要的正需要的

回复支持反对

发表于 2008-3-26 14:24:02 | 显示全部楼层

谢谢了

验证很重要。谢谢楼主分享

回复支持反对

发表于 2008-4-1 11:05:10 | 显示全部楼层

都是国内刊物的小论文

都是国内刊物的小论文，

回复支持反对

1 2 345 6 7 8 9 10 ... 17 / 17 页下一页

发新帖

高级模式

B Color Image Link Quote Code Smilies

您需要登录后才可以回帖登录 | 注册

本版积分规则回帖后跳转到最后一页

关闭

站长推荐 /2

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

GMT+8, 2024-11-28 11:40 , Processed in 0.020802 second(s), 5 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

快速回复 返回顶部 返回列表