专利名称：一种数字集成电路设计的验证方法
技术领域：
本发明涉及一种大规模数字集成电路设计与验证领域，尤其涉及一种大规模数字集成电路设计的验证方法。
背景技术：
验证工作是集成电路设计制造过程中极其关键的环节之一，一般地，在百万门级以上的专用集成电路(ASIC)、知识产权模块(IP)、片上系统(SoC)等的设计中，验证工作约占整个设计工作的70%左右。验证工作用于检验集成电路的设计是否实现了设计规范确定的功能和时序。为保证设计的正确性，验证工作变得越来越重要。验证工作不仅需要专职的验证团队，而且验证团队人数通常是设计团队的I. 5 2倍。随着设计规模的不断扩大，验证工作的重要性不言而喻，然而，对验证方法的要求也越来越多。目前集成电路设计的一般流程是由验证工程师根据需求书或设计规格书直接整理出验证流，按验证流提取测点，然后搭建验证环境，进行仿真验证。其中，验证流的整理在整个验证过程中起着非常重要的作用，其直接影响到验证结果的完整性、以及对验证过程管理的统一性。不同工程师对设计的理解不同，导致整理得到的验证流存在很大的差异，即验证流的整理不够规范，验证信息不能够得到合理的复用，也不能形成合适的验证空间来确保验证的覆盖性，从而导致容易遗漏不全，进而影响到了验证的质量。
发明内容
本发明要解决的主要技术问题是，提供一种数字集成电路设计的验证方法。根据本发明实施例，提供一种数字集成电路设计的验证方法，包括信息结构化步骤，按场景、子场景、流、模块对需求书或设计规格书进行提取整理，整理后得到格式统一的至少一条结构化验证流，每一条结构化验证流包括场景信息、子场景信息、流信息、至少一个流起点和至少一个流终点；状态机生成步骤，根据所述结构化验证流的流起点和流终点及其映射关系，得到与所述结构化验证流相对应的状态机；验证空间获取步骤，根据所述状态机并基于图论得到有限遍历集，所述有限遍历集为包含所述状态机的可能路径的集合，所述可能路径为所述结构化验证流的流起点至对应的流终点的路径，所有所述有限遍历集形成验证空间。进一步地，所述验证方法还包括新增信息处理步骤，对新增加的验证信息按所述信息结构化步骤和所述状态机生成步骤进行处理，得到新增结构化验证流及其对应的新增状态机，判断新增状态机是否完全包含在已有的状态机，如果不是，则将没被包含的状态机加入到已有的状态机中，得到修改后的状态机，对修改后的状态机按所述验证空间获取步骤进行处理，得到新的验证空间；和/或信息删除处理步骤，从已有的结构化验证流中删除至少一条结构化验证流，对删除后的结构化验证流按所述状态机生成步骤和所述验证空间获取步骤进行处理，得到新的验证空间。进一步地，所述验证方法还包括模块关系利用步骤，将不同的模块之间的关系作为验证信息补充到验证空间，其中，所述不同的模块之间的关系包括分级关系和分组关系，所述分级关系是不同模块根据自身功能及其内在联系呈现出逐级的关系，所述分组关系中，属于同一组的模块在被调用时该组模块将一同被调用。进一步地，所述信息结构化步骤还包括按场景、子场景、流、模块、以及描述和/或评议对需求书或设计规格书进行提取整理，其中，所述描述是结构化验证流的补充信息，所述评议是结构化信息流被评价的信息；整理得到的结构化验证流包括场景信息、子场景信息、流信息、至少一个流起点和至少一个流终点、描述和/或评议。进一步地，所述信息结构化步骤之后还包括信息存储步骤，将结构化验证流存储到数据库，其中，必定存储的内容包括每一条结构化验证流的编号、流名称、流起点、流终点，可选存储的内容包括每一条结构化验证流的描述信息和评议选项。进一步地，验证空间生成步骤之后还包括根据得到的验证空间提取测点，搭建验 证环境进行验证。进一步地,所述结构化验证流包括自发自收流，所述自发自收流是流起点和对应的流终点相同的结构化验证流。进一步地，所述结构化验证流包括平行流，所述平行流是同时发生的多条结构化验证流。本发明的有益效果是通过格式统一的结构化验证流使得验证流的整理规范化，还使得验证信息能够得到复用，且由于格式统一，使得不同验证工程师容易理解验证流，便于对验证过程进行管理，为提高验证效率提供了可能性；同时，运用图论产生状态机进而得到有限遍历集，保证了验证的覆盖率。
图I为本发明实施例一的流程示意图；图2为本发明通过流信息产生的状态机的示意图；图3为本发明实施例二的流程示意图；图4为本发明实施例二的实例I的流程示意图；图5为本发明实施例二的实例2的流程示意图。
具体实施例方式下面通过具体实施方式
结合附图对本发明作进一步详细说明。首先对下面用到的一些术语或概念进行解释。(I)模块随着现代设计复杂度的增加，模块化设计已成主流。一个系统一般由若干个一级模块构成，而每个一级模块又可细分成若干个二级模块，以此类推，同时，系统中的模块又可以分成硬件、软件、周边组件等属性；例如，一个包处理系统可以包含包入口模块、包处理模块和包出口模块。(2)流是模块之间的数据和控制交互。(3)场景一个系统的需求和功能可以通过场景描述。一个场景一般包含系统中多个模块之间的多条流的交互；例如包处理场景，简单描述可以包括入口模块有条流把包传到包处理模块，若干步骤后有条流把处理好的包从处理模块传导包出口模块。
(4)子场景当一个场景太大时，一般可以细分成若干个子场景，也可以由一级子场景、二级子场景、三级子场景等这样的划分，例如包处理场景，复杂情况下可分为长包处理子场景、短包处理子场景等。实施例一如图I所示，本实施例提供的数字集成电路设计的验证方法包括步骤S101，对需求/规格进行整理，产生结构化验证流；按场景、子场景、流、模块对需求书或设计规格书进行提取整理，整理后可以得到格式统一的至少一条结构化验证流。每一条结构化验证流包括场景信息、子场景信息、流信息、至少一个流起点和至少一个流终点。在一些项目中，为保证验证的全面性，可能会由不同的验证工程师单独对需求书或设计规格书进行分析，然后再检视他们的分析结果，这些分析结果就是不同的分析版本，为便于检视，在对需求书或设计规格书进行提取整理时，还可以加入描述选项和评议选项，如下表I所示。表I格式统一的结构化验证流举例
权利要求
1.ー种数字集成电路设计的验证方法，其特征在于包括 信息结构化步骤，按场景、子场景、流、模块对需求书或设计规格书进行提取整理，整理后得到格式统ー的至少一条结构化验证流，每一条结构化验证流包括场景信息、子场景信息、流信息、至少ー个流起点和至少ー个流終点； 状态机生成步骤，根据所述结构化验证流的流起点和流終点及其映射关系，得到与所述结构化验证流相对应的状态机； 验证空间获取步骤，根据所述状态机并基于图论得到有限遍历集，所述有限遍历集为包含所述状态机的可能路径的集合，所述可能路径为所述结构化验证流的流起点至对应的流終点的路径，所有所述有限遍历集形成验证空间。
2.如权利要求I所述的验证方法，其特征在于，还包括 新增信息处理步骤，对新増加的验证信息按所述信息结构化步骤和所述状态机生成步 骤进行处理，得到新增结构化验证流及其对应的新增状态机，判断新增状态机是否完全包含在已有的状态机，如果不是，则将没被包含的状态机加入到已有的状态机中，得到修改后的状态机，对修改后的状态机按所述验证空间获取步骤进行处理，得到新的验证空间； 和/或信息删除处理步骤，从已有的结构化验证流中删除至少一条结构化验证流，对删除后的结构化验证流按所述状态机生成步骤和所述验证空间获取步骤进行处理，得到新的验证空间。
3.如权利要求I或2所述的验证方法，其特征在于，还包括 模块关系利用步骤，将不同的模块之间的关系作为验证信息补充到验证空间，其中，所述不同的模块之间的关系包括分级关系和分组关系，所述分级关系是不同模块根据自身功能及其内在联系呈现出逐级的关系，所述分组关系中，属于同一组的模块在被调用时该组模块将一同被调用。
4.如权利要求I或2所述的验证方法，其特征在于，所述信息结构化步骤还包括按场景、子场景、流、模块、以及描述和/或评议对需求书或设计规格书进行提取整理，其中，所述描述是结构化验证流的补充信息，所述评议是结构化信息流被评价的信息；整理得到的结构化验证流包括场景信息、子场景信息、流信息、至少ー个流起点和至少ー个流終点、描述和/或评议。
5.如权利要求I或2所述的验证方法，其特征在于，所述信息结构化步骤之后还包括 信息存储步骤，将结构化验证流存储到数据库，其中，必定存储的内容包括每一条结构化验证流的编号、流名称、流起点、流終点，可选存储的内容包括每一条结构化验证流的描述イM息和评议选项。
6.如权利要求I所述的验证方法，其特征在于，验证空间生成步骤之后还包括根据得到的验证空间提取测点，搭建验证环境进行验证。
7.如权利要求1-5任一项所述的验证方法，其特征在于，所述结构化验证流包括自发自收流，所述自发自收流是流起点和对应的流終点相同的结构化验证流。
8.如权利要求1-5任一项所述的验证方法，其特征在于，所述结构化验证流包括平行流，所述平行流是同时发生的多条结构化验证流。
全文摘要
本发明公开了一种数字集成电路设计的验证方法，包括按场景、子场景、流、模块对需求书或设计规格书进行提取整理，得到格式统一的结构化验证流，每一条结构化验证流包括场景信息、子场景信息、流信息、流起点和流终点；根据流起点和流终点及其映射关系，得到相对应的状态机；根据状态机并基于图论得到有限遍历集，有限遍历集为包含所述状态机的可能路径的集合，可能路径为结构化验证流的流起点至对应的流终点的路径，所有有限遍历集形成验证空间。本发明通过格式统一的结构化验证流使得验证信息的整理规范化，验证信息得到复用，且便于管理验证过程，为提高验证效率提供了可能性；同时，基于图论得到的有限遍历集保证了验证的覆盖率。
文档编号G06F17/50GK102737143SQ20121010195
公开日2012年10月17日 申请日期2012年4月9日 优先权日2012年4月9日
发明者伍国斌, 宋建龙, 李姮乐, 杨宝国, 王博, 罗永贵, 谢峥 申请人:李姮乐