Цитата(des00 @ Nov 20 2015, 17:43)

Вы не корректно делаете CDC. клоки асинхронные и не кратные. Используйте FIFO/RAM.
Я, возможно, не совсем корректно выразился - в самом модуле, где происходит перетактовка, у меня, конечно же, стоит двухпортовая память.
Цитата(Timmy @ Nov 20 2015, 18:11)

Ваши констрейны не работают. Макроподстановка изнутри {} не выполняется. В данном случае можно писать без фигурных скобок, так как списки из одного элемента. Если нужно больше элементов, то использовать команду list:
неправильно: [get_clocks {$clk1 $clk2}]
правильно: [get_clocks [list $clk1 $clk2]]
А вообще, чтобы отчёты выглядели красиво, по возможности следует руками описать все клоки, взяв команды из листинга derive_pll_clocks.
Ещё, чуть не забыл: если вдруг значение clk1 внутри содержит пробелы, то без [list] оно будет ошибочно принято за список и неверно интерпретировано, так что на всякий случай [list] стоит использовать даже для списка из одного элемента. [list] правильно прикроет пробелы внутри clk1 эскейп последовательностями, и пробелы не будут интерпретироваться, как разделители списка.
Большое спасибо - помогло!