sdf

SDF(Standard Delay Format)是一种存储timing data的文件，其中的数据是tool-independent的

可以包括：

1)Delay: module path, device, interconnect, port

2)Timing checks: setup, hold, recovery, removal, skew, width, period

3)Timing environment:

SDF file支持hierarchical timing annotation, 各个module的sdf文件可以分别提供，整个design有多个SDF files.

Back-Annotation of timing Data for Design Analysis.

SDF中的timing data来源：1)直接来自timing model,  2)内部的timing calculator,  3)Cell characterization data

数据的准确性，与timing caculator内的算法, pre-layout的RC预估. post-layout的RC提取.

Annotator: SDF中的数据反标到analysis和check tool

consistency between SDF and Design：任何design中的修改必须rerun timing calculator,产生新的SDF文件

consistency between SDF and Timing model：lib中的timing model必须和产生的sdf，对数据的识别程度时一样的，

否则会导致有的delay反标不上去

back-annotation主要是进行analysis timing data，forward-annotation of timing constraints主要用给synthsis tools

(不仅是logic synthsis，还包括floorplanning,layout, routing)

SDF支持的timing model：
1)Modeling Circuit Delays:SDF支持distributed(由model primitive来组成)和pin-to-pin(通过lib中的timing property)的model style。

IOPATH-------input to output delay

COND---------condition

2)Modeling Output Pulse Propagation:PATHPULSE------定义非glitch的最短的pulse

3)Modeling Timing Checks:支持setup,hold(反标回lib model), recovery, removal, width,

SETUP (posedge D0)  (COND (posedge CP))  (value1 :: value2)

HOLD (posedge D0)  (COND (posedge CP))  (value1 :: value2)

setup/hold的值，可能也是与input transiaction/output capacitance有关，

所以通过sdf反标到verilog model中。

4)Modeling Interconnect Delays: INTERCONNECT---------------point to point的delay

PORT------------针对有几条driver path的signal

5)一些Internal nodes,针对不在design hierarachy和lib中的primitive的path，要求annotator能够识别。

提供给个别项目的一种灵活的方式

SDF文件的格式：