на одной цепи два драйвера, как заставить DC их обнаружить?, check_design не видит Опции

[yes]

есть в дизайне такая фигня

design_vision-xg-t> get_attribute [get_pins -of [get_nets -hier clkh_ecoBalance_n1]] direction
in out out

то есть два драйвера на одной цепи
(на самом деле один из драйверов это пин иерархического модуля (выход) к которому ничего внутри не подключено - то есть физически все впорядке, но, например, Formality от такого дуреет)

как методологически искать такое?

[grigorik]

есть в дизайне такая фигня

design_vision-xg-t> get_attribute [get_pins -of [get_nets -hier clkh_ecoBalance_n1]] direction
in out out

то есть два драйвера на одной цепи
(на самом деле один из драйверов это пин иерархического модуля (выход) к которому ничего внутри не подключено - то есть физически все впорядке, но, например, Formality от такого дуреет)

как методологически искать такое?

check_design все скажет если ты сделаешь перед compile. А после compile никакая методология не поможет потому что DC в течении compile -a исправляет это поставляя или OR или AND.

[yes]

check_design все скажет если ты сделаешь перед compile. А после compile никакая методология не поможет потому что DC в течении compile -a исправляет это поставляя или OR или AND.

нетлист после вставления тактовых деревьев, размещения/разводки, коррекции - то есть сильно далеко после compile
то есть эти двойные драйвера были внесены в результате работы back-end-ных оптимизаторов

наверно DC не тот инструмент, которым эти нарушения ищутся, но так как у нас другого нет....

вобщем вопрос уже не актуальный, это были проблемы симуляции и их удалось решить с помощью симулятора. казалось, что поиск в DC мог облегчить задачу...