请教encounter布局布线后形式验证的问题

trippa · 发表于 2013-7-18 16:11:57

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

x

我想在布局布线后导出网表和输入网表做形式验证，当形式验证时需要svf文件，我查阅了好些资料，encounter好像不能生成svf文件。请教：做形式验证是否必须需要svf文件？如果需要的话在encounter工具中怎样生成svf文件？求此赐教。谢谢啊。

michaelzhang561 · 发表于 2013-7-19 17:36:56

DC 就会产生svf文件

AveryYoung · 发表于 2013-7-21 08:16:27

回复 1# trippa

形式验证是在有dc出来的网表的时候，需要使用svf，svf由dc工具给出。
比如用rtl和dc_netlist，需要svf。

trippa · 发表于 2013-7-23 23:41:47

回复 3# AveryYoung

多谢你的回答

[求助] 请教encounter布局布线后形式验证的问题