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

说明书

技术领域

本发明涉及一种大规模数字集成电路设计与验证领域，尤其涉及一种大规模数字集成电路设计的验证方法。

背景技术

验证工作是集成电路设计制造过程中极其关键的环节之一，一般地，在百万门级以上的专用集成电路(ASIC)、知识产权模块(IP)、片上系统(SoC)等的设计中，验证工作约占整个设计工作的70％左右。验证工作用于检验集成电路的设计是否实现了设计规范确定的功能和时序。为保证设计的正确性，验证工作变得越来越重要。验证工作不仅需要专职的验证团队，而且验证团队人数通常是设计团队的1.5～2倍。随着设计规模的不断扩大，验证工作的重要性不言而喻，然而，对验证方法的要求也越来越多。

目前集成电路设计的一般流程是由验证工程师根据需求书或设计规格书直接整理出验证流，按验证流提取测点，然后搭建验证环境，进行仿真验证。其中，验证流的整理在整个验证过程中起着非常重要的作用，其直接影响到验证结果的完整性、以及对验证过程管理的统一性。不同工程师对设计的理解不同，导致整理得到的验证流存在很大的差异，即验证流的整理不够规范，验证信息不能够得到合理的复用，也不能形成合适的验证空间来确保验证的覆盖性，从而导致容易遗漏不全，进而影响到了验证的质量。

发明内容

本发明要解决的主要技术问题是，提供一种数字集成电路设计的验证方法。

根据本发明实施例，提供一种数字集成电路设计的验证方法，包括：信息结构化步骤，按场景、子场景、流、模块对需求书或设计规格书进行提取整理，整理后得到格式统一的至少一条结构化验证流，每一条结构化验证流包括场景信息、子场景信息、流信息、至少一个流起点和至少一个流终点；状态机生成步骤，根据所述结构化验证流的流起点和流终点及其映射关系，得到与所述结构化验证流相对应的状态机；验证空间获取步骤，根据所述状态机并基于图论得到有限遍历集，所述有限遍历集为包含所述状态机的可能路径的集合，所述可能路径为所述结构化验证流的流起点至对应的流终点的路径，所有所述有限遍历集形成验证空间。

进一步地，所述验证方法还包括：新增信息处理步骤，对新增加的验证信息按所述信息结构化步骤和所述状态机生成步骤进行处理，得到新增结构化验证流及其对应的新增状态机，判断新增状态机是否完全包含在已有的状态机，如果不是，则将没被包含的状态机加入到已有的状态机中，得到修改后的状态机，对修改后的状态机按所述验证空间获取步骤进行处理，得到新的验证空间；和/或信息删除处理步骤，从已有的结构化验证流中删除至少一条结构化验证流，对删除后的结构化验证流按所述状态机生成步骤和所述验证空间获取步骤进行处理，得到新的验证空间。

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

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

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

进一步地，验证空间生成步骤之后还包括：根据得到的验证空间提取测点，搭建验证环境进行验证。

进一步地，所述结构化验证流包括自发自收流，所述自发自收流是流起点和对应的流终点相同的结构化验证流。

进一步地，所述结构化验证流包括平行流，所述平行流是同时发生的多条结构化验证流。

本发明的有益效果是：通过格式统一的结构化验证流使得验证流的整理规范化，还使得验证信息能够得到复用，且由于格式统一，使得不同验证工程师容易理解验证流，便于对验证过程进行管理，为提高验证效率提供了可能性；同时，运用图论产生状态机进而得到有限遍历集，保证了验证的覆盖率。

附图说明

图1为本发明实施例一的流程示意图；

图2为本发明通过流信息产生的状态机的示意图；

图3为本发明实施例二的流程示意图；