数字后端文件——SDF文件格式实例

SDF文件实例

(CELL
(CELLTYPE "XNOR2X1") #单元类型
(INSTANCE Trojan_T4/ne_66/U175) #例化名称
(DELAY
(ABSOLUTE
(COND B == 1'b1 (IOPATH A Y (0.032:0.348:0.348)
(0.233:0.595:0.595)))
(COND B == 1'b0 (IOPATH A Y (0.275:0.703:0.703)
(0.087:0.418:0.418)))
(IOPATH (posedge A) Y (0.032:0.999:0.999) (0.087:0.905:0.905))
(IOPATH (negedge A) Y (0.130:0.703:0.703) (0.154:0.595:0.595))
(COND A == 1'b1 (IOPATH B Y (0.149:0.365:0.365)
(0.160:0.359:0.359)))
(COND A == 1'b0 (IOPATH B Y (0.206:0.447:0.447)
(0.164:0.418:0.418)))
(IOPATH (posedge B) Y (0.149:0.486:0.486) (0.164:0.419:0.419))
(IOPATH (negedge B) Y (0.145:0.447:0.447) (0.150:0.400:0.400))
)
)
) (
CELL
(CELLTYPE "XNOR2X1")
(INSTANCE Trojan_T4/ne_66/U174)
(DELAY
(ABSOLUTE
(COND B == 1'b1 (IOPATH A Y (0.031:0.347:0.347)
(0.233:0.595:0.595)))
(COND B == 1'b0 (IOPATH A Y (0.274:0.702:0.702)
(0.087:0.417:0.417)))
(IOPATH (posedge A) Y (0.031:0.999:0.999) (0.087:0.904:0.904))
(IOPATH (negedge A) Y (0.130:0.702:0.702) (0.153:0.595:0.595))
(COND A == 1'b1 (IOPATH B Y (0.148:0.381:0.381)
(0.161:0.363:0.363)))
(COND A == 1'b0 (IOPATH B Y (0.206:0.451:0.451)
(0.159:0.426:0.426)))
(IOPATH (posedge B) Y (0.148:0.522:0.522) (0.159:0.457:0.457))
(IOPATH (negedge B) Y (0.145:0.451:0.451) (0.151:0.401:0.401))
)
)

如何阅读SDF文件
门级仿真经验（SDF反标及其工作原理）