Ключевые слова логический синтез, алгоритмы на графах, моделирование цифровых схем, оптимизация цифровых схем