分享一个vcs mx201412，顺别求Magellan 形式验证工具

ju610930444 · 发表于 2015-1-16 10:55:52

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

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

x

分享一个 vcs mx 201412 里面有installer 3.2 和 scl 11.8 ,
我很大方的，不拆分了，直接网盘。

对了，顺便求好心人分享形式验证工具，如Synopsys的Magellan，Mentor的Questa formal，jasper design Automation的随便啦；

2楼放网盘

ju610930444 · 发表于 2015-1-16 11:02:53

网盘

vcsmx201412.rar (127 Bytes, 下载次数: 470 )
下载完别忘回复，至于license，找坛子里的大神吧！

dcircuit · 发表于 2015-1-16 19:20:17

好人，赞一个

lubin39 · 发表于 2015-1-17 13:45:51

好啊，要有最近的Verdi3就更好了

jlqsczw_2007 · 发表于 2015-1-18 20:41:37

分享一个 vcs mx 201412 里面有installer 3.2 和 scl 11.8 ,
我很大方的，不拆分了，直接网盘。

对了， ...
ju610930444 发表于 2015-1-16 10:55

登录/注册后可看大图

感谢!
不用费力一个一个下了。

我有一个，但是比较老，好像是12年的，还是32位的，
需要吗？

jlqsczw_2007 · 发表于 2015-1-18 20:44:28

分享一个 vcs mx 201412 里面有installer 3.2 和 scl 11.8 ,
我很大方的，不拆分了，直接网盘。

对了， ...
ju610930444 发表于 2015-1-16 10:55

登录/注册后可看大图

.spf怎么用，直接用installer装就行？？

ju610930444 · 发表于 2015-1-19 09:02:41

回复 5# jlqsczw_2007

也行的是，是megallan吗？

ju610930444 · 发表于 2015-1-19 09:09:37

回复 6# jlqsczw_2007

我把后缀改成 tar ，就ok 了

orlye · 发表于 2015-1-21 15:10:17

谢谢楼主分享

670687308 · 发表于 2015-1-22 14:28:12

好东西，谢谢分享

[原创] 分享一个vcs mx201412，顺别求Magellan 形式验证工具

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

相关帖子

浏览过的版块

站长推荐 /2