一种由寄存器规格文档自动生成仿真验证激励的方法与流程

[0001]
本发明涉及芯片仿真验证技术，具体涉及一种由寄存器规格文档自动生成仿真验证激励的方法。


背景技术：

[0002]
芯片的功能不断增加，相应寄存器的数量随之日趋庞大，寄存器的属性也越来越复杂，寄存器验证的完备性和高效性，成为验证人员迫切需要解决的问题。


技术实现要素：

[0003]
本发明解决的技术问题是：提供一种由寄存器规格文档自动生成仿真验证激励的方法，只需提供寄存器的规格文档，极少的人工参与，即可自动生成验证寄存器的仿真验证激励及相应说明文档。
[0004]
本发明采用的技术方案是：一种由寄存器规格文档自动生成仿真验证激励的方法，其特征在于，包括如下步骤：
[0005]
s1)规格分析组件对寄存器规格文档进行分析，提取自动化生成仿真验证激励所需的寄存器特征数据；
[0006]
s2)步骤s1)生成寄存器特征数据后，特征数据变更记忆组件会将上一次自动化生成激励时人工更改的寄存器特征数据，自动更新到步骤s1)生成的寄存器特征数据中。验证人员对本次自动化生成的寄存器特征数据进行确认，检查是否有新增需标注、更改的特征数据；
[0007]
s3)特征数据分析组件对步骤s2)最终生成的寄存器特征数据进行分析，生成包含寄存器名称、位宽、读写属性、复位值、复位属性等信息的字典[d1]，生成标注为特殊寄存器的名称、位宽、读写属性、复位值、复位属性等信息的字典[d3]，生成包含步骤s2)中人工更改寄存器特征数据信息的字典[d2]。分析结束后，将字典[d2]中的寄存器特征数据信息更新到特征数据变更记忆组件；
[0008]
s4)根据步骤s3)生成的字典[d1]，寄存器读写验证激励生成组件、寄存器复位验证激励生成组件和寄存器验证激励说明生成组件，分别生成相应的验证激励和激励说明文档；
[0009]
s5)根据步骤s3)生成的字典[d3]，特殊寄存器报告生成组件格式化生成特殊寄存器报告；
[0010]
所述步骤s3)特征数据分析组件对步骤s2)最终生成的寄存器特征数据进行分析处理具体包括如下步骤：
[0011]
s301)遍历权利要求1里步骤s2)生成的寄存器特征数据，将未标注为特殊寄存器的名称、位宽、有效位、读写属性、复位值、复位属性等字段信息存储在字典[d1]，将标注为特殊寄存器的名称、位宽、有效位、读写属性、复位值、复位属性等字段信息存储在字典[d3]，生成包含步骤s2)中人工更改寄存器特征数据信息的字典[d2]；
[0012]
s302)分析结束后，将字典[d2]中的寄存器特征数据信息更新到特征数据变更记忆组件；
[0013]
所述步骤s4)各组件生成激励和说明文档的步骤具体如下：
[0014]
s401)寄存器读写验证激励生成组件解析步骤s3)生成的字典[d1]，根据各寄存器的信息，从基类函数库中选取对应的基函数进行组合，生成相应的读写属性及读写权限的验证激励，生成相应的读写属性及读写权限的验证激励；
[0015]
s402)寄存器复位权限验证激励生成组件解析步骤s3)生成的字典[d1]，根据各寄存器的信息，从基类函数库中选取对应的基函数进行组合，生成相应的复位值及复位权限的验证激励；
[0016]
s403)寄存器验证激励说明生成组件解析步骤s3)生成的字典[d1]，生成步骤s401)、s402)相应的验证激励说明文档；
[0017]
本发明的优点在于：
[0018]
1)只需提供寄存器的规格文档，极少的人工参与，即可自动生成验证寄存器的仿真验证激励及相应说明文档，大大缩短了仿真验证激励的开发时间，提升了验证效率；
[0019]
2)特征数据变更记忆组件增加了对人工修改寄存器特征数据的记忆功能，使得待修改的寄存器特征数据，只需人工修改一次，后续迭代无需人工再次修改，进一步减少了验证人员的工作量；
[0020]
3)验证激励生成组件采用积木拼接的方式，从基类函数库中选取相应的基函数进行组合，生成所需的验证激励，具有较好的可扩展性；
[0021]
4)对于特殊功能的寄存器或寄存器位，通过对寄存器特征数据进行标注的方式，使得自动化生成激励的同时，也生成特殊寄存器报告，验证人员根据该报告对特殊寄存器加以补充验证，从而让寄存器的验证更完备，验证质量更高；
附图说明
[0022]
图1是本发明的系统流程示意图。
[0023]
图2是本发明权利要求1里步骤s3)的流程示意图。
[0024]
图3是本发明权利要求1里步骤s4)的流程示意图。
具体实施方式
[0025]
下面结合附图和具体实施对本发明作进一步说明。
[0026]
芯片的功能不断增加，相应寄存器的数量随之日趋庞大，寄存器的属性也越来越复杂，寄存器验证的完备性和高效性，成为验证人员迫切需要解决的问题。本发明提出一种由寄存器规格文档自动生成仿真验证激励的方法，解决了这一问题，提高了验证的开发效率。
[0027]
如图1所示，该方法包括规格分析组件、特征数据分析组件、特征数据变更记忆组件、寄存器读写验证激励生成组件、寄存器复位验证激励生成组件、寄存器验证激励说明生成组件、特殊寄存器报告生成组件，具体步骤如下：
[0028]
s1)规格分析组件对输入的寄存器规格文档进行分析，提取自动化生成仿真验证激励所需的寄存器特征数据；
[0029]
s2)特征数据变更记忆组件将上一次自动化生成激励时人工更改的寄存器特征数据，自动更新到步骤s1)生成的寄存器特征数据中。验证人员对本次自动化生成的寄存器特征数据进行确认，检查是否有新增需注标、更改的特征数据；
[0030]
s3)特征数据分析组件对步骤s2)最终生成的寄存器特征数据进行分析，生成包含寄存器名称、位宽、读写属性、复位值、复位属性等信息的字典[d1]，生成标注为特殊寄存器的名称、位宽、读写属性、复位值、复位属性等信息的字典[d3]，生成包含步骤s2)中人工更改寄存器特征数据信息的字典[d2]。分析结束后，将字典[d2]中的寄存器特征数据信息更新到特征数据变更记忆组件,如图2，具体步骤如下；
[0031]
s301)遍历步骤s2)生成的寄存器特征数据，将未标注为特殊寄存器的名称、位宽、有效位、读写属性、复位值、复位属性等字段信息存储在字典[d1]，将标注为特殊寄存器的名称、位宽、有效位、读写属性、复位值、复位属性等字段信息存储在字典[d3]，生成包含步骤s2)中人工更改寄存器特征数据信息的字典[d2]；
[0032]
s302)分析结束后，将字典[d2]中的寄存器特征数据信息更新到特征数据变更记忆组件；
[0033]
s4)根据步骤s3)生成的字典[d1]，寄存器读写验证激励生成组件、寄存器复位验证激励生成组件和寄存器验证激励说明生成组件，分别生成相应的验证激励和激励说明文档，如图3，具体步骤如下：
[0034]
s401)寄存器读写验证激励生成组件解析步骤s3)生成的字典[d1]，根据各寄存器的信息，从基类函数库中选取对应的基函数进行组合，生成相应的读写属性及读写权限的验证激励，生成相应的读写属性及读写权限的验证激励；
[0035]
s402)寄存器复位权限验证激励生成组件解析步骤s3)生成的字典[d1]，根据各寄存器的信息，从基类函数库中选取对应的基函数进行组合，生成相应的复位值及复位权限的验证激励；
[0036]
s403)寄存器验证激励说明生成组件解析步骤s3)生成的字典[d1]，生成步骤s401)、s402)相应的验证激励说明文档；
[0037]
s5)根据步骤s3)生成的字典[d3]，特殊寄存器报告生成组件格式化生成特殊寄存器报告；
[0038]
以上所述仅是本发明的优选实现方式，应当指出在不脱离本发明构思的前提下，可以做出的若干改进和扩展，这些改进和扩展也应视为本发明保护范围内。