Вроде как я себе представлял - porosity - это возможность разводить сигналы "сквозь" модуль. Т.е. грубо говоря, на сколько плотно сделана разводка в нем. Если я прав, то в чем измеряется параметр Liberty "default_max_porosity" ? Который к примеру стоит 15 в моей либе. В доке на либерти, на либрари компилер, и вокруг я не нашел. А если я не прав, то что это за параметр? И как его вообще вычисляет синтезатор в процессе синтеза, да еще и violation умудряется показать? И вообще, есть ли смысл за него бороться, а если есть - то как???

ЗЫ Случайно обнаружил, разглядывая всевозможные репорты, пока ждал долгую симуляцию. Так бы и не знал, и хрен бы на него было бы, а теперь вот интересно стало.

The porosity of a cell is the cell area available for over-the-cell routing divided
by the cell area and multiplied by 100. Thus, porosity is the percentage of cell
area that is available for over-the-cell routing. The porosity of a design is the
same ratio for all cells in the design and its subdesigns.

Когда Вы ставите min_porosity, компилятор пытается оптимизировать схему, чтобы average porosity не нарушал этот констрэйн. Про max_porosity я не нашел ничего в solvnet, наверное это от старых версий осталось