邏輯1
邏輯2
D O
D O
A1 to A2_1
A1 to A2_2
A1
A2
圖5-12 TPTHRU約束示例場景
INST“ A1” TNM =“ S”;
INST“ A2” TNM =“ E”;
NET“ A1toA2_1” TPTHRU =“ M”;
TIMESPEC“ SME” = FROM“ S” THRU“ M” TO“ B” 10;
其中第三句指令利用TPTHRU 定義了中間點“M”，然后第4 句在此基礎(chǔ)上定義了通過M 點的整條路徑，從兩條平行的路徑中挑出了期望路徑。

4．局部約束

局部約束包括FROM_TO 約束、最大延時約束、最大偏移約束、虛假路徑、系統(tǒng)時鐘抖動約束、多周期路徑和多時鐘域約束等。在實際開發(fā)中，正如本章前沿所述，時序是設(shè)計出來，而不是靠約束自動得到的，因此這里不再對局部約束作過多討論。