求助关于Formality的问题

acyutan · 发表于 2015-6-11 23:14:07

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

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

x

新装了2013版和2014版的formality，在14版dc综合完之后使用14版fm，读完container i之后程序会出错退出。
换用13版fm，读取14版dc生成的svf文件又会报错。
在将dc换成13版之后，第一次跑13版的fm成功，换14版的fm仍然会出错退出，再次换回13版fm，居然出现跟14版一样的错误退出，再也回不到第一次跑13版的成功状态了。。

求大牛们指点迷津。。

icfbicfb · 发表于 2015-6-12 09:16:38

通常svf必须低于formal的版本，否则没法读入，

你就13版的dc + 13 or 14的fm 就行了，

set_svf 那里有指示的，是否读入

[求助] 求助关于Formality的问题

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

相关帖子

站长推荐 /2