设为首页收藏本站
在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

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

手机号码，快捷登录

手机号码，快捷登录

找回密码

  登录   注册  

快捷导航
创芯云服务  : 创芯大讲堂  | 创芯人才网 | 数字IC职业培训  EETOP诚邀线上IC培训讲师!
搜帖子
EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 后端设计 › 后端资料区 › 形式化验证软件
1234下一页
返回列表 发新帖
楼主: XIAOZZ

[其它] 形式化验证软件

[复制链接]
XIAOZZ
 楼主| 发表于 2010-4-22 00:08:28 | 显示全部楼层
part11

2008.09-SP2.part11.rar

3 MB, 下载次数: 11 , 下载积分: 资产 -2 信元, 下载支出 2 信元
回复 支持 反对

举报

XIAOZZ
 楼主| 发表于 2010-4-22 00:09:42 | 显示全部楼层
part12

2008.09-SP2.part12.rar

3 MB, 下载次数: 10 , 下载积分: 资产 -2 信元, 下载支出 2 信元
回复 支持 反对

举报

XIAOZZ
 楼主| 发表于 2010-4-22 00:11:10 | 显示全部楼层
part13

2008.09-SP2.part13.rar

3 MB, 下载次数: 9 , 下载积分: 资产 -2 信元, 下载支出 2 信元
回复 支持 反对

举报

XIAOZZ
 楼主| 发表于 2010-4-22 00:13:13 | 显示全部楼层
part14

2008.09-SP2.part14.rar

3 MB, 下载次数: 10 , 下载积分: 资产 -2 信元, 下载支出 2 信元
EETOP创芯人才网职位发布入口
回复 支持 反对

举报

XIAOZZ
 楼主| 发表于 2010-4-22 00:14:21 | 显示全部楼层
完毕part15

2008.09-SP2.part15.rar

1.55 MB, 下载次数: 11 , 下载积分: 资产 -2 信元, 下载支出 2 信元
EETOP创芯人才网简历投递入口
回复 支持 反对

举报

system10010
发表于 2010-4-24 15:32:21 | 显示全部楼层
ggggggg 10# XIAOZZ
EETOP创芯人才网职位发布入口
回复 支持 反对

举报

hiyoun
发表于 2010-9-25 01:39:49 | 显示全部楼层
啥工具呀，也没讲，bs
EETOP创芯人才网简历投递入口
回复 支持 反对

举报

kate2011
发表于 2011-11-5 13:04:23 | 显示全部楼层
这是什么软件？
EETOP创芯人才网职位发布入口
回复 支持 反对

举报

ricvadim
发表于 2020-3-21 02:22:18 | 显示全部楼层


XIAOZZ 发表于 2010-4-21 23:34
2008，09


下载 1 & 2， 谢谢
EETOP创芯人才网简历投递入口
回复 支持 反对

举报

ricvadim
发表于 2020-3-21 02:23:58 | 显示全部楼层


XIAOZZ 发表于 2010-4-21 23:38
part03


下载 3， 谢谢
回复 支持 反对

举报

下一页 »
1234下一页
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

GMT+8, 2024-5-4 22:01 , Processed in 0.026097 second(s), 9 queries , Gzip On, Redis On.

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