本发明涉及一种集成电路设计验证方法，包括如下步骤：把提取于系统规格书或设计需求中包含事务级资源检查表和控制所述事务的顺序流程，通过记录和算法映射到状态机结构体模型中；通过状态机结构体模型产生事务级测试用例；所述事务级测试用例作为测试平台...

本发明适用于计算机辅助设计或验证领域，提供了一种系统工程的辅助设计或验证方法，包括：根据系统的规格说明或需求说明，将其逐层分解出更小的子系统；并分解出最小功能单元的元素；分析元素所含有的属性及对应的属性值，然后统计出系统或子系统、元素及...

本发明涉及一种具有结构化模型的集成电路设计验证方法，包括：把多份对设计规格书分别进行独立结构化分析得到的结构化资源记录使用海图覆盖模型的方法整合，获得覆盖所述设计规格书的完整结构化资源；检查其是否全部能够连接，并报告和修复其中不能连接的...