Полупроводниковая индустрия уперлась в стену: человеческий интеллект больше не успевает за сложностью кремния. Десятилетиями трансляция тысяч правил проектирования (Design Rule Check, DRC) из текстовых инструкций в машинный код была каторжным ручным трудом. Инженеры-звезды годами корпели над скриптами на SVRF или KLayout, и каждый раз, когда завод переходил на новый техпроцесс, всю эту работу приходилось начинать с нуля. Проект Rule2DRC, представленный командой профессора Сон Хён О из Сеульского национального университета совместно с Samsung AI Center, нацелен именно на этот затор.
От сравнения кода к проверке действием
Предыдущие попытки автоматизировать DRC провалились, потому что опирались на поверхностные метрики вроде сходства кода. Rule2DRC меняет парадигму: это не просто генератор текста, а модель действия (Action Model). Система не гадает, «похож ли код на правильный», а исполняет его. В основе решения лежит внушительный бенчмарк из 1000 пар инструкций и 13 921 макета чипов. Согласно материалам, подготовленным для ICML 2026, Rule2DRC прогоняет сгенерированные скрипты через реальные движки верификации, проверяя их функциональную пригодность, а не литературный стиль.
Rule2DRC выходит за рамки простой оценки сходства кода, напрямую исполняя сгенерированные алгоритмы в среде верификации для подтверждения их работоспособности.
Такой подход, ориентированный на исполнение (execution-guided), закрывает критическую уязвимость — риск ошибки трансляции. Как следует из препринта на arXiv, задача состоит в том, чтобы создать надежный мост между человеческим языком и архитектурой «железа». Это уже не игрушки с чат-ботами, а промышленный контур, где ИИ понимает логику верификационных скриптов так же глубоко, как и их синтаксис.
Интеграция в производственный цех
Команда Сон Хён О работала в плотной связке с Samsung AI Center, чтобы агент мог выжить в реальных условиях завода. Итоговое приложение интерпретирует естественный язык и тут же выдает готовый код. Для Samsung это вопрос экономики: автоматизация рутины позволяет радикально сократить время вывода продукта на рынок (Time-to-Market) и, что важнее, снизить зависимость от дефицитных верификаторов, которых на рынке всегда меньше, чем амбиций у чипмейкеров.
В современной гонке вооружений скорость проверки дизайна становится ключевым конкурентным преимуществом. Кейс Rule2DRC — это важный сигнал рынку: ИИ переходит от генерации эссе к управлению физической архитектурой. Мы видим будущее, где переход на новые техпроцессы будет ограничен законами физики и энергопотребления, а не тем, сколько инженеров успели переписать документацию. Однако остается открытым вопрос: как Samsung планирует проверять самого «проверяльщика»? Когда сложность скриптов превысит возможности человеческого аудита, поиск логических галлюцинаций в коде станет задачей ценой в миллиарды долларов — и права на ошибку здесь не будет.