请教关于formality读入svf文件的问题

knightliu · 发表于 2009-10-24 15:06:15

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

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

×

小弟最近学习formality。看了一些资料，在formality中做RTL何综合后netlist的验证，用set_svf default.svf 读入svf文件。但不知道为何报错，如下：
Error 27 ：state 0，line 3：

Error ： Invalid SVF，contents ignored

请问是何问题？default.svf不是由DC自动写出的么？是需要在综合时加入某些命令么？望各位大侠解决。十分谢谢。

cp1995 · 发表于 2025-6-12 17:38:12

感谢分享

darlingwqm · 发表于 2024-7-25 17:28:49

学习了

mrmx · 发表于 2024-7-16 16:38:56

power0650 发表于 2013-2-24 09:46
用Formality第一步就可以读入svf文件。
至于是否需要加入svf文件，主要看综合的过程是否做了优化的动作。一 ...

说得对，主要看这个过程是否对电路做了优化，有优化就需要吃svf文件

北极的星辰 · 发表于 2023-11-4 18:52:15

直接关闭dc_shell窗口试试

how1e · 发表于 2022-6-20 11:17:36

感谢分享

jishuya · 发表于 2021-7-6 16:07:54

感谢分享，学到了

fengbohan1 · 发表于 2021-6-21 10:09:19

学习了

jojenwong · 发表于 2021-6-19 19:38:11

学到了

494693243 · 发表于 2021-4-8 18:17:50

messiwang2011 发表于 2013-5-7 10:43
svf 不小心删除了没有svf rtl与pr后的netlist比不过怎么办

你这个最后怎么解决的

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

请教关于formality读入svf文件的问题

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

相关帖子

浏览过的版块

站长推荐 /1