검색으로 돌아가기
기록
集成电路设计全流程协同验证与一致性保障方法
발명유효
10조회수
10청구항 · 1 독립항
§ Ⅰ
개요
발명자
湛露华; 吕致君; 万欣洋; 刘梓烁; 袁军
IPC 분류
G06F 30/33 (2020.01)G06F 30/3323 (2020.01)
本发明涉及集成电路设计自动化技术领域,公开了集成电路设计全流程协同验证与一致性保障方法,该方法包括:构建统一设计数据模型,以多层次属性图结构表征从功能规格到物理布局的设计数据;建立设计意图保持机制,通过意图语义标注、跨层次实体映射和意图保持度评估,追踪设计意图在层次细化过程中的传递;执行混合验证策略,将形式化验证与动态仿真结合,并通过覆盖率反馈机制指导验证资源分配;实施约束一致性检查,在设计流程的关键节点进行约束对比,自动识别和定位约束冲突;生成一致性验证报告,汇总验证结果为设计决策提供依据,本发明能够将设计错误的捕获时间提前80%,设计迭代次数减少40%,显著提高设计质量和效率。