никак не пойму как один svf файл может задать два синтеза
то есть - синтезировал один и тот же RTL с разными констрейнами/опциями синтеза
пытаюсь сравнить два нетлиста формалитей - пишет как несовпадающие match point (не много) так и not-equivalent (несколько тыщ)
у меня есть два svf для обоих нетлистов - как их прицепить к формалити? - не пойму
-----------------
а про skew | latency - собственно и был вопрос - можно ли DC заставить сгенерить тактовую цепь и посчитать их для нее (с учетом wireload и т.п.)
решил фигней не маятся и отдать бэкенду
-----------------
про поиск тригеров еще интересно -
если есть два тактовых домена clka, clkb
как можно найти тригрера в clkb, на вход которых поступают сигналы из clka (не только напрямую от тригера из clka, но и, возможно, через логику)
(понятно, что синхронизация требует особого внимания и такие триггера нужно знать поименно :), но хотелось бы в чужом коде автоматизировать их поиск)