更为常见的约束需求其实是约束从FF0输出(包含FF0输出延迟)到FF1输入(包含FF1输入建立时间)总时间不超过3个CLKM周期,那么你这个图还需要一个假设,FF0输出只到FF1输入,没有其它路径,否则在写约束条件时还需要定义TIMEGRP并EXCEPTION其它路径,满足这个假设的话,还需假定FF0的输入为ff0_din,输出为ff0_dq,这样写:
NET "CLKM" TNM_NET = "CLKM";
TIMESPEC "TS_CLKM_PRD" = PERIOD "CLKM" 10.0 ns HIGH 50%;
NET "ff0_din" TNM = "pathA_src";
NET "ff0_dq" TNM = "pathA_dist";
TIMESPEC "TS_pathA_3cycle" = FROM "pathA_src" TO "pathA_dist" 3*TS_CLKM_PRD;