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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
楼主: trashio

[原创] Mentor formal verification FormalPro

[复制链接]
发表于 2012-4-24 14:42:45 | 显示全部楼层
最后一个。
发表于 2012-6-30 14:16:44 | 显示全部楼层
test2
发表于 2012-8-26 15:31:52 | 显示全部楼层
回复 1# trashio

Could you tell me whether it is for linux or for win??
发表于 2012-9-21 19:41:22 | 显示全部楼层
这个是2008版本,宝航redhat和sorlaris系统的
发表于 2012-9-22 15:15:14 | 显示全部楼层
回复 1# trashio


    有没有破解??怎么搞定破解?
发表于 2012-11-10 10:07:14 | 显示全部楼层
guaia a  aa
发表于 2012-11-10 10:09:31 | 显示全部楼层
白瞎了,不支持windows系统,用不了
发表于 2014-5-28 04:27:30 | 显示全部楼层
谢谢!
发表于 2015-1-23 15:57:14 | 显示全部楼层
感谢分享 下载下来学习下
发表于 2015-1-23 16:25:35 | 显示全部楼层
谢谢分享!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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


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

GMT+8, 2024-12-25 09:24 , Processed in 0.021293 second(s), 6 queries , Gzip On, Redis On.

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