Обследование по проверке конструкции интегрированных аппаратных средств системы LLM

arXiv: 261 010.10580v 1 Annualce Type: кросс-бюллетень: Большие языковые модели (LMM) все чаще включаются в процесс проверки аппаратных средств для автоматизации интерпретации спецификаций, создания верификационных произведений, отладки, формального рассуждения и оркестра инструментов. Это обследование предусматривает систематический обзор функциональной проверки аппаратных средств с помощью системы " SystemVerilog Preporting, стимулирующих и тестовых систем, локализации ошибок и ремонта конструкции, проверки моделей и эквивалентности, оптимизации САТ/СМТ и новых рабочих процессов по проверке агентов. Мы организуем литературу по методологии, цели проверки, взаимодействию с инструментами, контрольным критериям и критерию оценки, а также изучаем как методы вывода-времени - в том числе ускоренное получение информации, поиск информации, структурированные рассуждения и агентические рабочие процессы - и адаптацию времени обучения. В этих областях появляется общая модель: МГМ наиболее эффективны как семантические компоненты рассуждения, поиска и оркестрации, встроенные внутри