ViTAD: Timing Violation-Aware Debugging of RTL Code using Large Language Models

## Контекст В современном цикле проектирования широкомасштабных интегральных схем (VLSI), стадия Register-Transfer Level (RTL) является ключевым этапом для оптимизации тайминга. Обнаружение и устранение тайминговых нарушений на этом этапе критически важно, так как современные системы требуют все выше частот работы, где даже незначительные нарушения тайминга могут привести к функциональным неполадкам или сбоям системы. Однако, традиционные методы оптимизации тайминга требуют значительного количества ручной работы, включая анализ временных отчетов и итеративное исправление ошибок. Данный аспект является трудоемким и неэффективным. Чтобы автоматизировать процесс, мы предлагаем метод ViTAD, который эффективно анализирует причины тайминговых нарушений и генерирует целевые стратегии исправления. ## Метод Метод ViTAD начинает свою работу с парсинга Verilog-кода и временных отчетов для построения Signal Timing Dependency Graph (STDG). Этот граф позволяет проанализировать взаимосвязи между сигналами и отследить нарушения тайминга. Далее, используя STDG, мы выполняем анализ путей нарушения, чтобы определить ключевые регионы кода, где происходят нарушения. Для динамического понимания и выявления корневых причин тайминговых нарушений, мы используем large language models (LLMs). LLMs анализируют текст отчетов о нарушениях и выводят потенциальные причины. Наконец, используя полученные причины, мы выбираем соответствующий доменный знаний из базы знаний и генерируем конкретные решения для исправления. ## Результаты Мы проводили эксперименты с нашим методом на созданной специальной датесете, содержащей 54 случаев тайминговых нарушений, взятых из реальных проектов с открытым исходным кодом. Метод ViTAD показал высокую эффективность, суммированную в 73.68% успешных исправлений. Это значительно выше результата базового метода, основанного только на LLM (54.38%). Наша система показала значительное улучшение в процессе анализа и исправления тайминговых нарушений, снижая время и трудоемкость для специалистов. ## Значимость Метод ViTAD может быть применен в различных областях проектирования VLSI, улучшая процессы отладки и оптимизации тайминга. Основное преимущество ViTAD заключается в своей возможности автоматически определять и исправлять тайминговые нарушения без значительного вмешательства человека. Это не только экономит время, но и повышает точность исправлений. Будущие исследования будут направлены на улучшение моделей LLMs, внедрение динамических стратегий и расширение поддерживаемых типов задач. ## Выводы Метод ViTAD доказал свою эффективность в