formality读入svf文件报错

似水如烟 · 发表于 2014-2-8 17:28:31

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

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

x

Error：Invalid SVF,contents ingnored(FM-339)0

在DC里面正常生成了default.svf文件，DC也正常结束了，也退出了terminal，

也尝试过在DC运行脚本的最开始添加set_svf filename.svf，并在综合结束时加上了set_svf off，
将这两种情况下的svf文件导入formality都提示上面的错误。

望指教！

sjtusonic · 发表于 2014-2-9 20:26:57

回复 1# 似水如烟

1-读入svf时，会导出一个文本文件，看看有无异常
2-会不会是svf，formality版本不匹配？试试换个版本。

似水如烟 · 发表于 2014-2-10 10:37:46

回复 2# sjtusonic

Formality 的版本是2010的，DC版本2008和2010的，这两个版本都试过了，还是提示svf文件无效的错误。

xieqq · 发表于 2014-2-10 11:14:28

回复 3# 似水如烟

灌水下

henryshen2000 · 发表于 2014-2-10 17:37:53

之前有没有成功Run过其它的正确的SVF？
也可以把脚本贴上来让大家帮忙看看！

似水如烟 · 发表于 2014-2-11 09:13:30

找到问题所在了。
运行完DC后Terminal的退出需要使用exit指令退出到linux-shell，这样svf文件就可以读入了；直接关闭终端（此时DC正常结束，但停留在DC命令环境下）时，svf文件就无法读入。

henryshen2000 · 发表于 2014-2-14 16:56:30

怎的版主被禁止发言了？

ralphzheng · 发表于 2015-7-17 12:25:09

回复 6# 似水如烟

我也遇见同样的问题，用你的方法解决了。十分感谢！

liruimei105 · 发表于 2016-12-6 16:02:25

回复 6# 似水如烟

确实有这样的

yss_pku · 发表于 2024-1-9 11:23:23

似水如烟发表于 2014-2-11 09:13
找到问题所在了。
运行完DC后Terminal的退出需要使用exit指令退出到linux-shell，这样svf文件就可以读入了 ...

解决了，谢谢

[讨论] formality读入svf文件报错

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

相关帖子

站长推荐 /2