具有结构化模型的集成电路设计验证方法

摘要

本发明涉及一种具有结构化模型的集成电路设计验证方法，包括：把多份对设计规格书分别进行独立结构化分析得到的结构化资源记录使用海图覆盖模型的方法整合，获得覆盖所述设计规格书的完整结构化资源；检查其是否全部能够连接，并报告和修复其中不能连接的部分；还检查完整结构化资源中各部分之间是否有重复，并删除其中重复的部分；同时还利用测点状态统计模型检查所有测点对应的测试激励能否产生，如果不能够产生，则提供覆盖测试方案；再对所述完整结构化资源进行资源提取映射计算，产生结构化的验证平台，验证平台进行验证。本发明从分析设计得出的结构化资源自动映射出验证平台，能提高验证效率，节省重复性的工作，实现了验证自动化。