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

说明书

技术领域

本发明涉及验证技术领域，特别是一种自动生成断言的方法及装置。

背景技术

目前SoC(System on Chip，系统级芯片/片上系统)越来越复杂，仿真验证也越来越困难。

基于Assertion(断言)的验证作为一种重要的验证越来越受到重视。

然而，基于Assertion(断言)的验证至少存在如下缺点：

由于每个开发项目都有一定的时限要求，由于Assertion代码需要熟悉SVA(SystemVerilog Assertion)语法的技术人员才能够编写，而且开发周期长，因此在项目压力较大的时候，就会导致项目延期。

发明内容

本发明实施例的目的在于提供一种自动生成断言的方法及装置，降低Assertion(断言)代码的使用难度，保证项目进度。

为了实现上述目的，本发明实施例提供了一种自动生成断言的方法，包括：

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

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

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

上述的方法，其中，还包括：

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

上述的方法，其中，所述模块信息输入界面和所述实例化界面通过Excel实现。

上述的方法，其中，所述绑定步骤具体包括：

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

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

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

上述的方法，其中，所述验证仿真文件中包括一用于保存第二断言验证代码，并且被设置为不可更新状态的保留区域。

为了实现上述目的，本发明实施例还提供了一种自动生成断言的装置，包括：

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

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

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

上述的装置，其中，还包括：

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

上述的装置，其中，所述模块信息输入界面和所述实例化界面通过Excel实现。

上述的装置，其中，所述绑定模块具体包括：

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

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

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

上述的装置，其中，第二解析步骤具体包括：

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

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

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

上述的装置，其中，所述第二解析单元具体包括：

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

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

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

上述的装置，其中，所述验证仿真文件中包括一用于保存第二断言验证代码，并且被设置为不可更新状态的保留区域。

本发明实施例至少具有如下有益效果：