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. Мультиплексор безглитчевый на триггерах
2. Вход выбора не константный, case_analysis не использую
3-4. Encounter видит только один клок, другой интерпретирует как цепь. Репорт с помощью report_timing -clock_from ...
5. версия 9

[Torpeda]

1. Мультиплексор безглитчевый на триггерах
2. Вход выбора не константный, case_analysis не использую
3-4. Encounter видит только один клок, другой интерпретирует как цепь. Репорт с помощью report_timing -clock_from ...
5. версия 9

1) "Вход выбора не константный, case_analysis не использую" - а репортик report_case_analysis всётаки чё говорит (репорт по выходных AND2)?
2) "report_timing -clock_from ..." - а дальше опции.... Полагаю, репорт -clock_from СК1 даёт результат, а -clock_from СК2 не даёт....
Также предположим что "report_clocks" выдал только СК1... Это так?
Тогда ответ простой - Encounter выдает пути лишь по СК1 потому что СК2 не существует.
3) Задефайните СК2 и делов-то....
4) Если я увижу результаты репортов что просил, будет меньше гаданий и может быстрее....

P.S. "безглитчевый на триггерах " - стрёмно звучит... тут должно быть "безглитчевый на gated_clock_component" .... а иначе только неправильно задай глобальные переменные Encounter ....

Сообщение отредактировал Torpeda - Apr 24 2012, 11:53