待验证50% 置信事实精确时间

ERC负责检查原理图层面的逻辑错误（如引脚未连接、信号短路、电源网络冲突），DRC在PCB层面验证物理约束（如走线间距、过孔环宽、铜皮重叠）

1

来源数

50%

置信度

长期有效

时效性

2026/9/18

首次发现

来源

GPT-6 Astra 全自动设计 F405 六层 FPV 飞控 PCB 实录

涉及实体

ERCconcept DRCconcept

相关事实

待验证模型自主运行了ERC（电气规则检查）和DRC（设计规则检查），并根据检查结果修改电路和布局，形成设计-检查-修正的自我迭代循环71% 相似待验证ECC（纠错码）内存通过奇偶校验机制可以检测并纠正单比特错误69% 相似待验证AI增强的DRC有潜力将难以用简单规则编码的经验性软规则纳入检查范围60% 相似待验证形式化证明系统（如Lean、Coq、Isabelle）要求将证明写成计算机可逐步检验的代码，任何逻辑跳跃都会触发编译错误60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/933479

API

curl https://kongchang.com/api/v1/knowledge/claims/933479

MCP

get_claim(id=933479)