Интеграция логического синтеза с привязкой к библиотеке на основе универсальных систем функций и прямых методов обобщенного разложениядоклад на конференции