ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring

## Контекст Оптимизация логики является ключевым этапом в электронном проектировании автоматизации (ELA). Цель оптимизации — сократить количество элементов управления (гейтс) в логических схемах без ущерба для их функциональности. Одним из основных операторов оптимизации является refactor. Он стремится к уменьшению количества элементов, но обычно при этом происходит много неудачных попыток. Эти неудачи требуют дорогостоящей ресинтезы, что значительно замедляет процесс оптимизации. Эта проблема особенно актуальна для крупных индустриальных проектов, где эффективность оптимизации критична. Наша работа адресована решению этой проблемы, способствуя значительному ускорению оптимизации логики. ## Метод Мы предлагаем метод, основанный на классификаторе, который предсказывает результат операции refactor еще до её выполнения. Если предсказание указывает на неудачу, операция пропускается, избегая ненужных ресинтезов. Мы использовали алгоритм глубокого обучения для построения классификатора, который на основе характеристик логических узлов предсказывает результат. Этот подход позволяет эффективно использовать вычислительные ресурсы, сократив количество ненужных операций. Метод был интегрирован в систему ABC, популярную в ELA. ## Результаты Мы проверили наш метод на двух наборах данных: EPFL benchmark suite и 10 крупных промышленных проектах. На этих наборах мы сравнили скорость работы нашего метода с самой быстрой доступной реализацией refactor в ABC. Результаты показали, что наш метод ускоряет оптимизацию логики в среднем в 3.9 раз. Это достигнуто благодаря преемственному отсеиванию неудачных операций, что экономит ресурсы и ускоряет процесс. ## Значимость Наш метод имеет широкие потенциальные применения в электронном проектировании, где требуется оптимизация логических схем. Он эффективен для крупных проектов, где высокая скорость работы и экономия ресурсов критична. Это может привести к ускорению разработки и сокращению затрат на производство. Метод также может быть использован в других областях, где требуется эффективная оптимизация сложной логики. ## Выводы Мы представили новый подход к эффективной оптимизации логики, основанный на алгоритмах машинного обучения. Наши результаты показывают, что этот подход может значительно ускорить процесс оптимизации, уменьшив количество ненужных операций. Будущие исследования будут направлены на усовершенствование классификатора и расширение его применения к другим операторам оптимизации.