sdf annotate warning

otogyg

大家好！
我用pt产生的sdf文件标记netlist的时候，工具会报有个异或门的path不存在，不能标记。
sdf中的格式为：IOPATH （posedge A） Y （） （）
其中A为输入口，Y为输出口。 括号里没写的是具体的时序信息。

老是报这个path不存在。
有知道这个问题怎么解决的吗。

谢谢。

williamliwei

检查sdf和netlist是否匹配

otogyg

回复 2# williamliwei

谢谢！
  
  我查过了，网表里是有这个路径的。

js_shen

我也遇到这样的问题，再问一句，SDF或SPEF有没有啥等价验证工具可用的。谢谢！

hitten

换个工具版本试试，有可能是工具的bug

otogyg

回复 5# hitten


    谢谢！
     我试下。

uestc_apache

回复 1# otogyg

1.  检查你的lib，path是不是没有posedge这个关键字。
2.  如果1成立的话，在用pt吐sdf的时候，-no_edge选项，可以将IOPATH里的posedge关键字去掉，就可以反标上了。

otogyg

回复 7# uestc_apache


    谢谢大侠。

    还有一个问题，反标以后， 对于负的时序信息，nc会怎样处理呢？

    如果 ，我加上了ntcnotchks 后，它在计算延时的时候会不会扣掉这个负值呢？

ricvadim

Separate Annotations
----------------------
This example shows separate annotations to distinct portions of a design hierarchy. There is
no configuration file specification, so the SDF Annotator uses the defaults.
module top;
•••
cpu m1(i1,i2,i3,o1,o2,o3);
fpu m2 (i4,o1,o3,i2,o4,o5,o6);
dma m3(o1,o4,i5,i6,i2);
// perform annotation
initial
begin
         $sdf_annotate("cpu.sdf",m1,,"cpu.log");
         $sdf_annotate("fpu.sdf",m2,,"fpu.log");
         $sdf_annotate("dma.sdf",m3,,"dma.log");
end
// stimulus and response-checking
•••
endmodule

Annotation with Arrays of Instances
------------------------------------
This example shows arrays of instance in a design hierarchy. There is no configuration file
specification, so the SDF Annotator uses the defaults.
module top;
•••
  cpu ar[1](i1,i2,i3,o1,o2,o3);
  fpu ar[2](i4,o1,o3,i2,o4,o5,o6);
  dma ar[3](o1,o4,i5,i6,i2);
  // perform annotation
  initial
  begin
         $sdf_annotate("cpu.sdf",ar[1],,"cpu.log");
         $sdf_annotate("fpu.sdf",ar[2],,"fpu.log");
         $sdf_annotate("dma.sdf",ar[3],,"dma.log");
  end
  // stimulus and response-checking
•••
endmodule

jiull

楼主解决了吗，我也遇到这个问题了，求解，谢谢！