圖2 FROM TO約束設(shè)計(jì)范例

　　UCF示例如下：
　　NET ＂CLKIX＂ TNM＿NET ＝ ＂CLKIX＂;
　　TIMESPEC ＂TS＿CLKIX＂ ＝ PERTOD ＂CLKlX＂ 5.0 ns HIGH 50％;
　　NET ENABLE TNM＿NET ＝ SLOW＿FFS；

　　TIMESPEC TS＿SLOWPATH ＝ FROM SLOW＿FFS  TO SLOW＿FFS TS＿CLK1X*2;
 過約束路徑如圖3所示。Xilinx的實(shí)現(xiàn)工具是時(shí)序驅(qū)動(dòng)的，因此有時(shí)如果某條路徑?jīng)]有滿足周期約束的要求，我們可以為這條路徑加上一個(gè)相對較緊的約束或許可以達(dá)到理想的效果。FROM TO可以用來做這種約束。

　　圖3 過約束路徑范例
 
　　FROM TO也可以約束異步路徑，比如不相關(guān)的兩個(gè)時(shí)鐘域之間的路徑。典型的情況就是異步FIFO，如圖3所示。寫時(shí)鐘域與讀時(shí)鐘域的路徑會(huì)分別被各自的周期約束覆蓋，但是它們之間的異步握手信號(hào)卻不會(huì)被自動(dòng)地分析，實(shí)際上也不需要。
 
　　如果有些設(shè)計(jì)者確實(shí)需要約束這些異步路徑的延時(shí)，可在FROM TO后面加上DATAPATHONLY這個(gè)關(guān)鍵字。 女口果沒有DATAPATHONLY這個(gè)關(guān)鍵字，時(shí)序分析會(huì)Timing Error。因?yàn)镕ROM TO約束會(huì)考慮Clock Skew，而這條路徑是跨時(shí)鐘域的。

　　UCF示例如下：
　　NET ＂WRITECLK＂ TNM＿NET ＝ ＂WRITECLK＂；
　　NET ＂READCLK＂ TNM＿NET=＂READCLK＂;
　　TIMESPEC TS＿WR2RD ＝ FROM WRITECLK TO READCLK 2 ns DATAPATHONLY;