Программные продукты и системы

При минимизации многоуровневых скобочных представлений на основе методов факторизации выделяются общие части как элементарных конъюнкций и дизъюнкций, так и алгебраических подвыражений, что является одним из видов совместной минимизации многоуровневых описаний схем и оказалось полез- ным для уменьшения площади схем заказных СБИС. В качестве структур данных при решении задач факторизации использованы булевы сети, представленные ориентированными бесконтурными графами DAG (Directed-Acyclic-Graph). При декомпозиции систем функций были разработаны различные методы совместной декомпозиции, при которой одна и та же промежуточная функция может использоваться совместно – участвовать в разложениях (суперпозициях) нескольких функций исходной системы. 
Подробное описание дается в статье "Выделение из многоуровневого представления системы булевых функций  подсистем для совместной логической минимизации", авторы (Бибило П.Н., Кириенко Н.А., Романов В.И., Объединенный институт проблем информатики Национальной академии наук Беларуси, г. Минск).