formality验证svf文件问题

yxy1112 · 发表于 2013-7-16 15:39:57

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

x

大家好，
DC产生的SVF文件记录了DC将RTL转换成GATE的一些信息，我们在做Formality形式验证的时候，如果不读入SVF文件，

会导致很多unmatch的点和verification fail的点。

求教大家，假如我现在没有SVF文件，怎么才能使我的验证通过呢？

lik0604 · 发表于 2013-7-16 19:46:52

没有SVF，formality肯定跑不过。

yxy1112 · 发表于 2013-7-17 16:32:41

回复 2# lik0604

请问一下，有些寄存器被DC优化掉了，综合出来可能变成一个常数0去驱动后边的电路，假如我现在没有svf文件的话，formality里面有没有相关命令能设置一下，让这种情况验证通过呢？

messiwang · 发表于 2013-8-27 17:15:07

回复 lik0604

请问一下，有些寄存器被DC优化掉了，综合出来可能变成一个常数0去驱动后边的电路，假如我 ...
yxy1112 发表于 2013-7-17 16:32

登录/注册后可看大图

我也遇到这样的情况怎么解决呢

yic2000 · 发表于 2013-8-28 17:54:50

那encounter出来后的netlist，没svf怎么做formality呢？

yic2000 · 发表于 2013-8-28 17:55:45

而且话说那svf也很好生成啊，一般都有才对啊

[求助] formality验证svf文件问题