Encounter: constraints for clock mux Опции

[Poluektovich]

Доброе время суток!
В проекте есть клоковый мультиплексор частот полученных с ВЧ и НЧ генераторов с помощью деления (generated_clock). Чтобы избежать использования case analysis в Design Compiler задаю ограничение

Код

set_clock_groups -logically_exclusive -group {clka} -group {clkb}

и параметр

Код

set timing_enable_multiple_clocks_per_reg true

В DC получаю пути по обоим клокам. Однако, временной анализатор в Encounter выдает пути лишь по одному клоку.
Как можно побороть Encounter?

[Poluektovich]

1. report_case_analysis одну константу дал внутри проекта, с выром клоков она не связана.
2-3. все так и есть, clk2 нет в клоковом дереве, для энкаунтера это цепь.
Каким образом clk2 задефайнить? В исходном sdc clk1 и clk2 определены через set_generated_clock.
4. Отчетов encounter у меня сейчас нет, я rtl и лог. синтезом занимаюсь, пытаюсь понять как это грамотно обконстрейнить, чтоб энкаунтер нужный тайминг выдавал.

Вот по поводу глобальных переменных в Encounter очень интересно. Пытался безуспешно найти аналог timing_enable_multiple_clocks_per_reg из DC. Какие могут быть необходимы?