OFFSET約束的寫法(OFFSETIN和OFFSETOUT)1.OFFSET約束的寫法Offset約束定義了外部時鐘pad和與之相關的輸入、輸出pad之間的相對關系。這是一個基礎的時序約束。Offset定義的是外部之間的關系，不能用在內部信號上。OFFSET約束寫起來還是比較簡單的，如OFFSET={IN|OUT}offset_time[units]{BEFORE|AFTER}clk_name[TIMEGRPgroup_name];offset_time:捕獲時鐘沿和數據起始時間之差，默認單位為ns，可以定義為ns、ps等BEFORE|AFTER：和本意類似clk_name：輸入clockpadnet的層次化全稱offset_time寫多少取決于數據之間所需要的相對關系，另外，弄懂XST是如何分析時序關系也是十分重要的。2.OFFSETIN分析下面的式子是UG612中指出的時序要求需要滿足的關系，看著可能不是太明白，但是結合例子分析就容易理解了。下面的式子給出的要求是Toffset_IN_BEFORE-(TData+TSetup-TClock)>0，實際上就對應著slack大于0。具體表述如下（分別為建立時間和保持時間要求）TData+TSetup-TClock<=Toffset_IN_BEFORE

where

TSetup=IntrinsicFlipFlopsetuptime

TClock=TotalClockpathdelaytotheFlipFlop

TData=TotalDatapathdelayfromtheFlipFlop

Toffset_IN_BEFORE=OverallSetupRequirementTClock-TData+Thold<=Toffset_IN_BEFORE_VALID

where

Thold=IntrinsicFlipFlopholdtime

TClock=TotalClockpathdelaytotheFlipFlop

TData=TotalDatapathdelayfromtheFlipFlop

Toffset_IN_BEFORE_VALID=OverallHoldRequirement文檔中還提到了Holdtime的需求，建立時間和保持時間在上文有介紹。UG612這里是個大坑，給出了這個式子之后就再也沒有討論過holdtime了。之前的WP327（WP327部分內容錯誤，UG612有修正）倒是提到了這一點“TheOFFSETINrequirementvalueisusedasasetuptimerequirementoftheFPGAduringthesetuptimeanalysis.TheVALIDkeywordisusedinconjunctionwiththerequirementtocreateahold-timerequirementduringahold-timeanalysis.TheVALIDkeywordspecifiesthedurationoftheincomingdatavalidwindow,andthetiminganalysistoolsperformahold-timeanalysis.Bydefault,theVALIDvalueisequaltotheOFFSETtimerequirement,whichspecifiesazerohold-timerequirement.SeeFigure6."這一段介紹了holdtime的處理方法。如果指定了數據的VALID時間，那么holdtime的requirement是確定的，這樣能夠進行具體的分析；如果沒有確定，那么默認認為hold-time的requirement是0。3.OFFSETIN舉例SimpleExampleSlack:-0.191ns(requirement-(datapath-clockpath-clockarrival+uncertainty))

Source:reset(PAD)

Destination:my_oddrA_ODDR_inst/FF0(FF)

DestinationClock:clock0_ddr_bufgrisingat0.000ns

Requirement:3.000ns

DataPathDelay:2.784ns(LevelsofLogic=1)

ClockPathDelay:-0.168ns(LevelsofLogic=3)

ClockUncertainty:0.239ns上面的例子首先告訴我們，OFFSET_IN約束是3ns，也就是說對于輸入數據在采樣時鐘沿前3ns有效。那么在觸發器上能否正確采樣取決于：觸發器采樣時鐘延遲了-0.168，故多提前了-0.168ns；datapathdelay是2.784，故數據延遲2.784；源、目的端時鐘關系為0，不變；不確定性帶來壞的影響，有slack=3+（-0.168）-2.784-0.239+0；Phase-ShiftedExampleSlack:2.309ns(requirement-(datapath-clockpath-clockarrival+uncertainty))

Source:reset(PAD)

Destination:my_oddrA_ODDR_inst/FF0(FF)

DestinationClock:clock90_bufgrisingat2.500ns

Requirement:3.000ns

DataPathDelay:2.784ns(LevelsofLogic=1)

ClockPathDelay:-0.168ns(LevelsofLogic=3)

ClockUncertainty:0.239ns分析過程類似，不過我們注意到在定義的時候，相對值是clock，但是觸發器采樣的時鐘是clk90（Destination）。這也就意味著我們多了一個clockarrivaltime，這個值是2.5ns。其余和上面的例子是一樣的。那么回到之前的式子Toffset_IN_BEFORE-(TData+TSetup-TClock)>0；分析報告中的requirement實際上就是Toffset_IN_BEFORE，datapath包括了TData和TSetup，TClock實際上