то есть беру один нетлист в качестве референса, другой имплементайшин

библиотеки общие одинаковые

при этом несовпадающих match point-ов набирается штук 50, и после при verify несколько тыщ несовпадений

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

может нужно какой-то файл для управления Formality сгенерить?


отличия при синтезе - в случае имплементэйшен несколько путей расслаблены - мультисайкл и параметры синтеза и всякие "технологические" констрейны типа max_fanout и т.п. другие
времянка получилась получше, но нет уверенности, что правильно все...

нетлисты симулируются - то есть функциональность одинаковая, но так как полного покрытия тестами нет хотелось бы формальным чекером проверить