arXiv:2608.25217cs.AIcs.SY2026-08

用大模型提前检查嵌入式硬件兼容性,不依赖电路图也能发现问题。

LLM-Driven, Datasheet-Aware Automated Hardware Compatibility Verification for Early-Stage, Pre-Schematic Embedded System Design

论文配图:LLM-Driven, Datasheet-Aware Automated Hardware Compatibility Verification for Early-Stage, Pre-Schematic Embedded System Design
图 1 · 摘自论文原文
  • 基于数据手册和连接描述构建设计图,分步验证接口兼容性
  • 在7个设计中准确率达97.5%,上下文长度减少8.6倍
  • 适合早期设计阶段的工程师,提升可追溯性和效率

我们提出一种基于大模型、数据手册感知的早期硬件兼容性验证框架,通过硬件数据手册和高层次组件连接描述,识别文档层面的接口不兼容问题。该方法无需详细电路仿真即可使用,适用于设计初期。框架将工程信息转化为可追踪的验证流程,构建设计图以捕捉设备连接与共享交互域,仅检索显式领域验证所需工程属性,并生成确定性脚本进行兼容性评估。通过模块化分析阶段与中间结果保留,降低上下文开销,提升透明度与可扩展性,避免依赖大模型进行数值计算。在包含34份数据手册的7个嵌入式系统设计上,框架实现97.5%的兼容性验证准确率,输入上下文大小相比传统‘上传查询’工作流减少8.6倍。结果表明,在早期设计阶段实现基于规范的大模型辅助兼容性验证是可行的,且模块化任务分解、形式化验证标准与任务感知的紧凑上下文构建具有显著优势。

原文摘要 · Abstract (English)

We present an LLM-driven, datasheet-aware framework for early-stage hardware compatibility verification that identifies documentation-level interface incompatibilities based on hardware datasheets and high-level component connectivity descriptions. It does not require, and can therefore be used, before detailed schematic simulation and implementation. We view trustworthy LLM-assisted design automation not as directly generating answers from documents, but as transforming engineering information through traceable verification stages. Given hardware datasheets and high-level component connectivity descriptions, the framework constructs a design graph that captures device connectivity and shared interaction domains, retrieves only the engineering properties required by explicit, domain-oriented verification criteria , and generates deterministic scripts for compatibility evaluation. By decomposing compatibility analysis into modular stages and preserving intermediate results, the framework reduces context overhead, improves transparency and tractability, enables scaling, and avoids reliance on LLMs for numerical computation. Evaluated on seven embedded-system designs comprising 34 datasheets, our framework achieves 97.5% compatibility-verification accuracy and an 8.6 times reduction in input context size compared with ``upload-and-query'' workflows. These results demonstrate the feasibility of LLM-assisted, specification-based hardware compatibility verification at an early design stage, as well as the need for, and substantial benefits of, modular task decomposition, formalized verification criteria, and task-aware compact context construction.

硬件验证大模型应用嵌入式系统

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。