Jasper 2015.09

chenglin93 · 发表于 2015-12-16 05:41:44

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

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

×

Jasper 2015.09

demonsolar · 发表于 2015-12-16 08:56:10

要是以前，可以到官网下了，唉。。。。

ab3028 · 发表于 2015-12-16 19:34:56

Thank you.

boxer188 · 发表于 2015-12-17 10:12:37

谁能说说jasper 特别好用的几个地方呢？期待ing

wayneruby · 发表于 2015-12-17 11:31:55

感謝分享
formal tool很有名的

duguzhang · 发表于 2016-1-15 09:41:15

这个Formal tool比较适合单元模块的验证，而不太适合较大的系统或子系统级的验证。

jlqsczw_2007 · 发表于 2016-3-11 18:51:57

Jasper 2015.09
chenglin93 发表于 2015-12-16 05:41

登录/注册后可看大图

请问谁装过了？

是不是直接解压就行。

我弄完启动软件的时候，报错——
segementation fault（core dumped），

然后用脚本把PATH等环境变量清除为最简单的，还是不行。

是不是库不对啊？

我的是rhel 7.0 64bit，以前装过他家的32位版本，没有问题啊。
这个现在不行啊。

越光飞扬 · 发表于 2016-4-24 22:14:56

多谢分享！请问还有JasperGold的其他资料吗？

sunil4u · 发表于 2016-5-24 22:28:00

really hard to learn

老阮 · 发表于 2016-10-26 16:29:12

非常感谢。就下载用来看文档用。

账号		自动登录	找回密码
密码			注册

Jasper 2015.09

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

相关帖子

浏览过的版块

站长推荐 /1