arXiv:2504.10369v1 Announce Type: cross 摘要：在综合的早期阶段，优化寄存器传输级（RTL）代码对于提高数字电路的功率、性能和面积（PPA）至关重要。由综合反馈引导的手动重写可以生成高质量的结果，但耗时且容易出错。现有的大多数基于编译器的方法难以处理复杂的架构约束。基于大语言模型（LLM）的方法作为解决这些挑战的有前途的替代方案已经出现。然而，基于LLM的方法往往难以确保生成的代码与提供的提示之间的一致性。本文提出了一种新颖的神经-符号RTL优化框架SymRTLO，该框架无缝地将基于LLM的代码重写与符号推理技术结合在一起。我们的方法结合了一个优化规则的检索增强生成（RAG）系统和基于抽象语法树（AST）的模板，使基于LLM的重写在保持句法正确性的同时，尽量减少不必要的电路行为。我们提出了一个符号模块来分析和优化有限状态机（FSM）逻辑，使其能够进行基于模式的编译器之外的细粒度状态合并和部分规范处理。此外，结合形式等效性检查与测试驱动验证的快速验证流水线进一步降低了验证的复杂性。使用Synopsys Design Compiler和Yosys对RTL-Rewriter基准测试表明，相比于最先进的方法，SymRTLO在功率、性能和面积（PPA）方面分别提高了43.9%、62.5%和51.1%。