OFFSET約束的寫(xiě)法(OFFSET IN和OFFSET OUT)

OFFSET約束的寫(xiě)法(OFFSETIN和OFFSETOUT)1.OFFSET約束的寫(xiě)法Offset約束定義了外部時(shí)鐘pad和與之相關(guān)的輸入、輸出pad之間的相對(duì)關(guān)系。這是一個(gè)基礎(chǔ)的時(shí)序約束。Offset定義的是外部之間的關(guān)系，不能用在內(nèi)部信號(hào)上。OFFSET約束寫(xiě)起來(lái)還是比較簡(jiǎn)單的，如OFFSET={IN|OUT}offset_time[units]{BEFORE|AFTER}clk_name[TIMEGRPgroup_name];offset_time:捕獲時(shí)鐘沿和數(shù)據(jù)起始時(shí)間之差，默認(rèn)單位為ns，可以定義為ns、ps等BEFORE|AFTER：和本意類似clk_name：輸入clockpadnet的層次化全稱offset_time寫(xiě)多少取決于數(shù)據(jù)之間所需要的相對(duì)關(guān)系，另外，弄懂XST是如何分析時(shí)序關(guān)系也是十分重要的。2.OFFSETIN分析下面的式子是UG612中指出的時(shí)序要求需要滿足的關(guān)系，看著可能不是太明白，但是結(jié)合例子分析就容易理解了。下面的式子給出的要求是Toffset_IN_BEFORE-(TData+TSetup-TClock)>0，實(shí)際上就對(duì)應(yīng)著slack大于0。具體表述如下（分別為建立時(shí)間和保持時(shí)間要求）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的需求，建立時(shí)間和保持時(shí)間在上文有介紹。UG612這里是個(gè)大坑，給出了這個(gè)式子之后就再也沒(méi)有討論過(guò)holdtime了。之前的WP327（WP327部分內(nèi)容錯(cuò)誤，UG612有修正）倒是提到了這一點(diǎn)“TheOFFSETINrequirementvalueisusedasasetuptimerequirementoftheFPGAduringthesetuptimeanalysis.TheVALIDkeywordisusedinconjunctionwiththerequirementtocreateahold-timerequirementduringahold-timeanalysis.TheVALIDkeywordspecifiesthedurationoftheincomingdatavalidwindow,andthetiminganalysistoolsperformahold-timeanalysis.Bydefault,theVALIDvalueisequaltotheOFFSETtimerequirement,whichspecifiesazerohold-timerequirement.SeeFigure6."這一段介紹了holdtime的處理方法。如果指定了數(shù)據(jù)的VALID時(shí)間，那么holdtime的requirement是確定的，這樣能夠進(jìn)行具體的分析；如果沒(méi)有確定，那么默認(rèn)認(rèn)為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，也就是說(shuō)對(duì)于輸入數(shù)據(jù)在采樣時(shí)鐘沿前3ns有效。那么在觸發(fā)器上能否正確采樣取決于：觸發(fā)器采樣時(shí)鐘延遲了-0.168，故多提前了-0.168ns；datapathdelay是2.784，故數(shù)據(jù)延遲2.784；源、目的端時(shí)鐘關(guān)系為0，不變；不確定性帶來(lái)壞的影響，有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分析過(guò)程類似，不過(guò)我們注意到在定義的時(shí)候，相對(duì)值是clock，但是觸發(fā)器采樣的時(shí)鐘是clk90（Destination）。這也就意味著我們多了一個(gè)clockarrivaltime，這個(gè)值是2.5ns。其余和上面的例子是一樣的。那么回到之前的式子Toffset_IN_BEFORE-(TData+TSetup-TClock)>0；分析報(bào)告中的requirement實(shí)際上就是Toffset_IN_BEFORE，datapath包括了TData和TSetup，TClock實(shí)際上