[发明专利]一种自动生成断言的方法及装置

权利要求书

1.一种自动生成断言的方法，其特征在于，包括：

第一输出步骤，输出用户从多个预先保存的断言模板中选择的目标断言模板的实例化界面；每个断言模板对应于一用于功能验证的断言验证代码；

实例化步骤，根据用户在所述实例化界面输入的断言实例化参数对所述断言验证代码进行实例化，得到实例化的第一断言验证代码；

绑定步骤，根据所述用户输入的待验证模块的模块信息将所述实例化的第一断言验证代码绑定到所述待验证模块，得到断言验证仿真文件。

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

第二输出步骤，输出一供用户输入所述模块信息的模块信息输入界面。

3.根据权利要求2所述的方法，其特征在于，所述模块信息输入界面和所述实例化界面通过Excel实现。

4.根据权利要求3所述的方法，其特征在于，所述绑定步骤具体包括：

第一解析步骤，通过解析Excel模块信息输入界面的信息获取所述模块信息；

第二解析步骤，解析所述模块信息中的RTL文件，获取所述RTL文件中的端口列表以及信号列表；

整合步骤，根据所述模块信息和所述端口列表以及信号列表将所述实例化的断言验证代码绑定到所述待验证模块。

5.根据权利要求4所述的方法，其特征在于，第二解析步骤具体包括：

删除步骤，删除所述RTL文件中的所有注释语句，生成第一临时文件；

第一扫描步骤，对第一临时文件进行扫描，仅保留指定仿真模式对应的语句，得到第二临时文件；

第二扫描步骤，对所述第二临时文件进行扫描，得到最终的端口列表和信号名列表。

6.根据权利要求1所述的方法，其特征在于，所述验证仿真文件中包括一用于保存第二断言验证代码，并且被设置为不可更新状态的保留区域。

7.一种自动生成断言的装置，其特征在于，包括：

第一输出模块，用于输出用户从多个预先保存的断言模板中选择的目标断言模板的实例化界面；每个断言模板对应于一用于功能验证的断言验证代码；

实例化模块，用于根据用户在所述实例化界面输入的断言实例化参数对所述断言验证代码进行实例化，得到实例化的第一断言验证代码；

绑定模块，用于根据所述用户输入的待验证模块的模块信息将所述实例化的第一断言验证代码绑定到所述待验证模块，得到断言验证仿真文件。

8.根据权利要求7所述的装置，其特征在于，还包括：

第二输出模块，用于输出供用户输入所述模块信息的模块信息输入界面。

9.根据权利要求8所述的装置，其特征在于，所述模块信息输入界面和所述实例化界面通过Excel实现。

10.根据权利要求9所述的装置，其特征在于，所述绑定模块具体包括：

第一解析单元，用于通过解析Excel模块信息输入界面的信息获取所述模块信息；

第二解析单元，用于解析所述模块信息中的RTL文件，获取所述RTL文件中的端口列表以及信号列表；

整合单元，用于根据所述模块信息和所述端口列表以及信号列表将所述实例化的断言验证代码绑定到所述待验证模块。

11.根据权利要求10所述的装置，其特征在于，所述第二解析单元具体包括：

删除子单元，用于删除所述RTL文件中的所有注释语句，生成第一临时文件；

第一扫描子单元，用于对第一临时文件进行扫描，仅保留指定仿真模式对应的语句，得到第二临时文件；

第二扫描子单元，用于对所述第二临时文件进行扫描，得到最终的端口列表和信号名列表。

12.根据权利要求7所述的装置，其特征在于，所述验证仿真文件中包括一用于保存第二断言验证代码，并且被设置为不可更新状态的保留区域。