то есть - синтезировал один и тот же RTL с разными констрейнами/опциями синтеза

пытаюсь сравнить два нетлиста формалитей - пишет как несовпадающие match point (не много) так и not-equivalent (несколько тыщ)

у меня есть два svf для обоих нетлистов - как их прицепить к формалити? - не пойму

-----------------

а про skew | latency - собственно и был вопрос - можно ли DC заставить сгенерить тактовую цепь и посчитать их для нее (с учетом wireload и т.п.)
решил фигней не маятся и отдать бэкенду

-----------------

про поиск тригеров еще интересно -
если есть два тактовых домена clka, clkb
как можно найти тригрера в clkb, на вход которых поступают сигналы из clka (не только напрямую от тригера из clka, но и, возможно, через логику)
(понятно, что синхронизация требует особого внимания и такие триггера нужно знать поименно :), но хотелось бы в чужом коде автоматизировать их поиск)