一种面向条件混合参数空间的PCell约束—拓扑—规则联合覆盖验证方法、系统及存储介质

本发明公开一种面向条件混合参数空间的PCell约束—拓扑—规则联合覆盖验证方法、系统及存储介质。通过条件约束图和原始、规范、实际生效三值形成合法候选；分层生成初始种子并建立运行轨迹和拓扑—几何签名库，联合参数、签名或缺失标志及版本预测生成、DRC、LVS、连接性和成本；依据风险、不确定性、规则边界、覆盖、多样性及成本异步选点，按需生成并由EDA状态机验证，结果写入版本化证据账本；通过隔离审计池、规则/拓扑覆盖和单侧漏检上界决定停止并兜底。