[发明专利]一种数字集成电路设计的验证方法

权利要求书

1.一种数字集成电路设计的验证方法，其特征在于包括：

信息结构化步骤，按场景、子场景、流、模块对需求书或设计规格书进行提取整理，整理后得到格式统一的至少一条结构化验证流，每一条结构化验证流包括场景信息、子场景信息、流信息、至少一个流起点和至少一个流终点；

状态机生成步骤，根据所述结构化验证流的流起点和流终点及其映射关系，得到与所述结构化验证流相对应的状态机；

验证空间获取步骤，根据所述状态机并基于图论得到有限遍历集，所述有限遍历集为包含所述状态机的可能路径的集合，所述可能路径为所述结构化验证流的流起点至对应的流终点的路径，所有所述有限遍历集形成验证空间。

2.如权利要求1所述的验证方法，其特征在于，还包括：

新增信息处理步骤，对新增加的验证信息按所述信息结构化步骤和所述状态机生成步骤进行处理，得到新增结构化验证流及其对应的新增状态机，判断新增状态机是否完全包含在已有的状态机，如果不是，则将没被包含的状态机加入到已有的状态机中，得到修改后的状态机，对修改后的状态机按所述验证空间获取步骤进行处理，得到新的验证空间；

和/或信息删除处理步骤，从已有的结构化验证流中删除至少一条结构化验证流，对删除后的结构化验证流按所述状态机生成步骤和所述验证空间获取步骤进行处理，得到新的验证空间。

3.如权利要求1或2所述的验证方法，其特征在于，还包括：

模块关系利用步骤，将不同的模块之间的关系作为验证信息补充到验证空间，其中，所述不同的模块之间的关系包括分级关系和分组关系，所述分级关系是不同模块根据自身功能及其内在联系呈现出逐级的关系，所述分组关系中，属于同一组的模块在被调用时该组模块将一同被调用。

4.如权利要求1或2所述的验证方法，其特征在于，所述信息结构化步骤还包括：按场景、子场景、流、模块、以及描述和/或评议对需求书或设计规格书进行提取整理，其中，所述描述是结构化验证流的补充信息，所述评议是结构化信息流被评价的信息；整理得到的结构化验证流包括场景信息、子场景信息、流信息、至少一个流起点和至少一个流终点、描述和/或评议。

5.如权利要求1或2所述的验证方法，其特征在于，所述信息结构化步骤之后还包括：

信息存储步骤，将结构化验证流存储到数据库，其中，必定存储的内容包括每一条结构化验证流的编号、流名称、流起点、流终点，可选存储的内容包括每一条结构化验证流的描述信息和评议选项。

6.如权利要求1所述的验证方法，其特征在于，验证空间生成步骤之后还包括：根据得到的验证空间提取测点，搭建验证环境进行验证。

7.如权利要求1-5任一项所述的验证方法，其特征在于，所述结构化验证流包括自发自收流，所述自发自收流是流起点和对应的流终点相同的结构化验证流。

8.如权利要求1-5任一项所述的验证方法，其特征在于，所述结构化验证流包括平行流，所述平行流是同时发生的多条结构化验证流。