LLm驱动、数据表感知的自动化硬件兼容性验证，用于早期、原理图前的嵌入式系统设计

Arxiv：2608.25217v2公告类型：替换摘要：我们提出了一个LLM驱动的数据表感知框架，用于早期硬件兼容性验证，该框架基于硬件数据表和高级组件连接描述识别文档级接口不兼容性。它不需要，因此可以在详细的原理图模拟和实现之前使用。我们认为值得信赖的LLM辅助设计自动化不是直接从文档生成答案，而是通过可跟踪的验证阶段转换工程信息。在给定硬件数据表和高级组件连接性描述的情况下，该框架构建一个设计图，该设计图捕获设备连接性和共享的交互作用域，仅检索显式的、面向域的验证标准所需的工程属性，并生成用于兼容性评估的确定性脚本。通过将兼容性分析分解为模块阶段并保留中间结果，该框架减少了上下文开销，提高了透明度和可管理性，实现了可伸缩性，并避免了对LLM进行数值计算的依赖。在包括34个数据表的7个嵌入式系统设计上进行了评估，该框架获得了97.5%的兼容性验证准确率，并且输入上下文大小比上传和查询工作流减少了8.6倍。这些结果证明了在早期设计阶段进行LLM辅助的基于规范的硬件兼容性验证的可行性，以及模块化任务分解、形式化验证标准和任务感知的紧凑上下文构造的必要性和实质性好处。