Продолжим воспоминания Xilinxовых констрейнов и борьбы с ними

.
Имеем Virtex 6.
В этом самом Virtex 6 есть FIFO, запись в которое осуществляется на частоте Clk320, чтение - Clk311 (цифра - частота в мегагерцах).
Частоты, понятное дело, несинхронные, соответственно написаны констрейны:
TIMESPEC TS_C30 = FROM "Clk311" TO "Clk320" TIG;
TIMESPEC TS_C40 = FROM "Clk320" TO "Clk311" TIG;
Translate к констрейнам претензий не имеет.
Тем не менее, после P&R мне пишет, что "1 constraint not met".
Ну, нот мет и нот мет, чего тут такого.
Но дальше интереснее.
В табличке мне рисует:
Код
----------------------------------------------------------------------------------------------------------
Constraint | Check | Worst Case | Best Case | Timing | Timing
| | Slack | Achievable | Errors | Score
----------------------------------------------------------------------------------------------------------
* TS_PLL_IntClocksPLL_clkout0 = PERIOD TIME | SETUP | -0.863ns| 3.980ns| 53| 16108
GRP "PLL_IntClocksPLL_clkout0" TS | HOLD | 0.015ns| | 0| 0
_GenClkP / 4.125 HIGH 50% | | | | |
TS_PLL_IntClocksPLL_clkout0 - это Clk320.
Открываю отчет .twx, а там картина совсем другая:
Код
Paths for end point STMx_PortBlocks.STMx_PortBlocks[0].STMx_PortBlock/STM4_TXBlock/RX_STM4_Receiving/STM_InFIFO/BU2/U0.gconvfifo.rf.grf.rf.gcx.clkx.rd_pntr_gc_asreg_9 (SLICE_X143Y190.BX), 1 path
--------------------------------------------------------------------------------
Slack (hold path): -3.640ns (requirement - (clock path skew + uncertainty - data path))
Source: STMx_PortBlocks.STMx_PortBlocks[0].STMx_PortBlock/STM4_TXBlock/RX_STM4_Receiving/STM_InFIFO/BU2/U0.gconvfifo.rf.grf.rf.gcx.clkx.rd_pntr_gc_9 (FF)
Destination: STMx_PortBlocks.STMx_PortBlocks[0].STMx_PortBlock/STM4_TXBlock/RX_STM4_Receiving/STM_InFIFO/BU2/U0.gconvfifo.rf.grf.rf.gcx.clkx.rd_pntr_gc_asreg_9 (FF)
Requirement: 0.000ns
Data Path Delay: 0.376ns (Levels of Logic = 0)
Clock Path Skew: 4.016ns (3.908 - -0.108)
Source Clock: Clk320 rising
Destination Clock: Clk311 rising
В общем, ругается на несоблюдение hold'ов как раз между доменами Clk320 и Clk311.
Несмотря на то, что заданы констрейны, чтобы эти пути не анализировать.
Что не так?