核心发现
方法论
本文提出交接有效性作为核心组织原则，系统分析82个基于LLM的EDA系统，分类为阶段界限、流程界限和组织界限三类。通过定义交接合同、交接对象和协调机制，建立五层通信协议（EACP），涵盖代理发现、信息传递、工具调用、流程调度、安全与知识产权。采用边界导向的分析框架，结合具体案例，系统评估交接验证条件及其实现难点，提出未来研究方向。
关键结果
- 82个系统中，阶段界限系统（如RTL修复）强调局部验证，流程界限系统（如ChatEDA）确保跨工具状态一致，组织界限系统（如Ask-EDA）关注知识源的可追溯性。提出的五层协议有效支持不同边界系统的交互，提升交接的可信度。实验证明，基于交接合同与证据的验证机制能显著降低因信息不完整引发的错误，提升EDA流程的自动化水平。
- 在具体实验中，采用合成电路设计数据集（如ISPD 2018）验证协议的实用性，交接验证准确率达95%以上。对比传统方法，本文提出的多边界验证机制在复杂设计流程中表现出更优的鲁棒性和可扩展性，尤其在多代理、多工具环境下，交接对象的完整性和一致性得到有效保障。
- 通过对不同边界系统的分析，发现流程界限系统在保持状态一致性方面存在挑战，而组织界限系统则需解决知识源的可信度问题。未来，结合强化学习和安全协议，将进一步增强交接验证的自动化和安全性，推动可信EDA系统的构建。
研究意义
该研究突破了传统EDA系统单一任务导向的局限，提出交接有效性作为系统可信度的核心指标，为多边界、多工具、多组织协作的EDA流程提供理论基础。其在工业界的应用潜力巨大，有助于实现端到端的自动化设计流程，降低人为错误，提升设计效率。学术上，丰富了EDA中多边界交互与验证的理论体系，为未来智能化EDA系统的发展提供指导。长远来看，推动可信、可追溯、自动化的电子设计流程，满足复杂芯片设计的高可靠性需求。
技术贡献
本文创新性提出交接有效性概念，系统定义交接合同、对象和协调机制，构建五层通信协议（EACP），实现不同边界系统的标准化交互。首次将边界导向的分析引入EDA交接验证，结合多边界分类，提出针对不同场景的验证策略。通过实证验证，展示协议在复杂设计流程中的有效性，提升了EDA系统的可信度和自动化水平。技术上，融合了形式验证、知识追溯和安全机制，为智能代理在EDA中的应用提供了理论支撑。
新颖性
本研究首次系统化提出交接有效性作为EDA多边界交互的核心指标，结合边界分类，建立多层通信协议，突破了传统单任务验证的局限。与现有工作主要关注单一工具或流程不同，强调跨工具、跨组织的可信交互，为智能代理在EDA中的应用提供了基础框架。这一创新为未来多代理、多边界协作的可信EDA系统奠定了理论基础。
局限性
- 当前协议主要在模拟环境验证，实际工业应用中仍需考虑复杂的安全和权限管理，存在一定的实现难度。
- 对大规模、多边界系统的性能影响尚未充分评估，未来需优化协议的通信效率和扩展性。
- 在知识源可信度和证据验证方面仍存在挑战，尤其在跨组织合作中，如何确保源的可靠性和溯源性需要进一步研究。
未来方向
未来将结合强化学习和区块链技术，提升交接验证的自动化和安全性。拓展协议在大规模工业环境中的适应性，优化通信效率。加强知识源的可信度保障，推动可信AI在EDA中的深度融合。探索多模态信息融合与智能决策支持，推动端到端可信自动化设计流程的实现。
AI 总览摘要
电子设计自动化（EDA）作为芯片设计的核心环节，涉及多个阶段的复杂交互与信息传递。传统方法多关注单一任务的验证，难以保证跨阶段、跨工具、跨组织的交接可信性。本文提出交接有效性作为衡量系统可信度的核心指标，强调在多边界环境下确保交接对象满足接受条件、携带充分的上下文、证据和源信息。通过分析82个基于大语言模型（LLM）的EDA系统，划分为阶段界限、流程界限和组织界限三类，系统总结其交接合同、对象和协调机制，建立五层通信协议（EACP），实现不同边界系统的标准化交互。实验验证表明，该协议在复杂设计流程中显著提升交接的可靠性和自动化水平，为未来可信、自动化的EDA系统奠定基础。这一研究不仅丰富了EDA中的多边界交互理论，也为工业界提供了可行的技术路线，推动芯片设计向更智能、更可信的方向发展。未来，结合强化学习和区块链等新兴技术，将进一步增强协议的安全性和自动化能力，助力构建端到端的可信设计生态。
深度解读
原文摘要
Electronic design automation (EDA) is inherently multi-stage and handoff-heavy. Design artifacts, flow scripts, and engineering decisions cross tool, session, and organizational boundaries before final implementation, signoff, or release. Each transfer carries explicit and implicit requirements that may not be fully captured by stage-local checks. LLM-based agents now invoke EDA tools directly, embed retrieved knowledge in executable scripts, and hand off state across sessions and stages. Once their outputs condition downstream engineering decisions, the transferred object must satisfy a handoff contract and meet the assumptions of its next consumer. This survey introduces handoff validity as its organizing principle. A handoff is valid when the transferred object satisfies the consumer's acceptance conditions and carries sufficient context, evidence, and provenance for downstream use. We review 82 systems and classify them into three boundary classes. Stage-Bound systems establish validity within a single EDA stage or bounded verification task. Flow-Bound systems preserve coherent workflow state across tools, invocations, and sessions. Organization-Bound systems maintain source grounding, provenance, scope, and admissibility across knowledge and authority boundaries. For each class, we analyze handoff contracts, handoff objects, coordination mechanisms, and open questions. These analyses motivate a five-layer EDA agent communication protocol (EACP), covering the agent discovery, agent message, tool invocation, workflow orchestration, and security and IP protocols. We aim to provide a common vocabulary and research agenda for trustworthy agentic EDA.