English(EN) CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs

CircuitGate 通过功能建模推动 AI 在逻辑综合领域的进步

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-08 04:00

研究人员开发了 CircuitGate，这是一个用于学习与非图 (AIG) 表示的新颖框架，其分析超越了传统的门级分析。这种新方法通过显式编码全局初级输入支持并对扇入之间的重收敛进行建模，结合了受逻辑启发的布尔约束以实现功能一致性，从而专注于电路级功能建模。在 ForgeEDA、EPFL 和 ITC'99 等基准测试上的评估表明，CircuitGate 在等效门识别和信号概率预测等任务上优于现有方法，证明了其在捕获电路级功能依赖性方面的有效性。 AI

影响这项研究通过提高 AI 模型理解电路功能的准确性，有望实现更高效、更强大的数字系统设计。

排序理由该集群包含一篇研究论文，详细介绍了电子设计自动化中电路级功能建模的新框架。[lever_c_降级自研究：ic=1 ai=1.0]

在 arXiv cs.LG 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 8 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群包含一篇研究论文，详细介绍了电子设计自动化中电路级功能建模的新框架。[lever_c_降级自研究：ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, infra; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Same-day; Cluster formed today. Ranking reflects the current source set at time of score.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.LG TIER_1 English(EN) · Qifan Zhang, Ruijie Li, Fangzhou Zhang, Qian Ma, Hui Li, Furui Zhan, Yongpeng Wang, Liying Hao, Shikai Guo · 2026-10-08 04:00

CircuitGate：用于与非图的逻辑一致电路级功能建模

arXiv:2610.09549v1 Announce Type: new Abstract: And-Inverter Graphs (AIGs) are fundamental representations for logic synthesis and verification in Electronic Design Automation (EDA). As structured representations of complex digital systems, AIGs require models to capture function…

本文如何被排名

报道来源 [1]

CircuitGate：用于与非图的逻辑一致电路级功能建模

相关实体

相关话题