[发明专利]一种由寄存器规格文档自动生成仿真验证激励的方法

说明书

本发明公开了一种由寄存器规格文档自动生成仿真验证激励的方法，其特征在于只需提供寄存器的规格文档，极少的人工参与，即可自动生成验证寄存器的仿真验证激励及相应说明文档。验证人员只需对寄存器的特征数据进行检查确认，仿真验证激励和相应说明文档均自动生成，大大缩短了仿真验证激励的开发时间，提升了验证效率。对于特殊功能的寄存器或寄存器位，采用对寄存器特征数据进行标注的方式，使得自动化生成激励的同时，也生成特殊寄存器报告，验证人员根据该报告对特殊寄存器加以补充验证，从而让寄存器的验证更完备，验证质量更高。

技术领域

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

背景技术

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

发明内容

本发明解决的技术问题是：提供一种由寄存器规格文档自动生成仿真验证激励的方法，只需提供寄存器的规格文档，极少的人工参与，即可自动生成验证寄存器的仿真验证激励及相应说明文档。

本发明采用的技术方案是：一种由寄存器规格文档自动生成仿真验证激励的方法，其特征在于，包括如下步骤：

S1)规格分析组件对寄存器规格文档进行分析，提取自动化生成仿真验证激励所需的寄存器特征数据；

S2)步骤S1)生成寄存器特征数据后，特征数据变更记忆组件会将上一次自动化生成激励时人工更改的寄存器特征数据，自动更新到步骤S1)生成的寄存器特征数据中。验证人员对本次自动化生成的寄存器特征数据进行确认，检查是否有新增需标注、更改的特征数据；

S3)特征数据分析组件对步骤S2)最终生成的寄存器特征数据进行分析，生成包含寄存器名称、位宽、读写属性、复位值、复位属性等信息的字典[D1]，生成标注为特殊寄存器的名称、位宽、读写属性、复位值、复位属性等信息的字典[D3]，生成包含步骤S2)中人工更改寄存器特征数据信息的字典[D2]。分析结束后，将字典[D2]中的寄存器特征数据信息更新到特征数据变更记忆组件；

S4)根据步骤S3)生成的字典[D1]，寄存器读写验证激励生成组件、寄存器复位验证激励生成组件和寄存器验证激励说明生成组件，分别生成相应的验证激励和激励说明文档；

S5)根据步骤S3)生成的字典[D3]，特殊寄存器报告生成组件格式化生成特殊寄存器报告；

所述步骤S3)特征数据分析组件对步骤S2)最终生成的寄存器特征数据进行分析处理具体包括如下步骤：

S301)遍历权利要求1里步骤S2)生成的寄存器特征数据，将未标注为特殊寄存器的名称、位宽、有效位、读写属性、复位值、复位属性等字段信息存储在字典[D1]，将标注为特殊寄存器的名称、位宽、有效位、读写属性、复位值、复位属性等字段信息存储在字典[D3]，生成包含步骤S2)中人工更改寄存器特征数据信息的字典[D2]；

S302)分析结束后，将字典[D2]中的寄存器特征数据信息更新到特征数据变更记忆组件；

所述步骤S4)各组件生成激励和说明文档的步骤具体如下：

S401)寄存器读写验证激励生成组件解析步骤S3)生成的字典[D1]，根据各寄存器的信息，从基类函数库中选取对应的基函数进行组合，生成相应的读写属性及读写权限的验证激励，生成相应的读写属性及读写权限的验证激励；

S402)寄存器复位权限验证激励生成组件解析步骤S3)生成的字典[D1]，根据各寄存器的信息，从基类函数库中选取对应的基函数进行组合，生成相应的复位值及复位权限的验证激励；

S403)寄存器验证激励说明生成组件解析步骤S3)生成的字典[D1]，生成步骤S401)、S402)相应的验证激励说明文档；