待验证50% 置信事实精确时间
ERC负责检查原理图层面的逻辑错误（如引脚未连接、信号短路、电源网络冲突），DRC在PCB层面验证物理约束（如走线间距、过孔环宽、铜皮重叠）
1
来源数
50%
置信度
长期有效
时效性
2026/9/18
首次发现
来源
涉及实体
相关事实
待验证模型自主运行了ERC（电气规则检查）和DRC（设计规则检查），并根据检查结果修改电路和布局，形成设计-检查-修正的自我迭代循环71% 相似待验证ECC（纠错码）内存通过奇偶校验机制可以检测并纠正单比特错误69% 相似待验证监控系统性故障排查标准路径：先判断是单点还是全线离线→全线离线查NVR供电与交换机→单点离线查该路网线/POE供电→画面正常但远程不通查网络映射→录像丢失查硬盘SMART状态，按此顺序告知维修方可缩短诊断时间63% 相似待验证AI增强的DRC有潜力将难以用简单规则编码的经验性软规则纳入检查范围60% 相似待验证形式化证明系统（如Lean、Coq、Isabelle）要求将证明写成计算机可逐步检验的代码，任何逻辑跳跃都会触发编译错误60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/933479API
curl https://kongchang.com/api/v1/knowledge/claims/933479MCP
get_claim(id=933479)