sdf annotate warning

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

检查sdf和netlist是否匹配

谢谢！

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

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

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

谢谢！
我试下。

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

谢谢大侠。
还有一个问题，反标以后， 对于负的时序信息，nc会怎样处理呢?
如果 ，我加上了ntcnotchks 后，它在计算延时的时候会不会扣掉这个负值呢?

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