[发明专利]一种基于perl实现断言自动插入RTL的方法

权利要求书

1.一种基于perl实现断言自动插入RTL的方法，其特征在于，包括如下步骤：

步骤1：RTL设计代码中插入相应的代表相关断言验证的关键字，确定插入断言的位置；

步骤2：从断言库中精确匹配插入关键字位置的断言程序，使断言库和RTL设计代码的有机结合，创建perl脚本；

步骤3：执行perl脚本，实现向RTL代码中插入断言程序；

步骤4：将插入后的代码写回到RTL代码文件中。

2.根据权利要求1所述的一种基于perl实现断言自动插入RTL的方法，其特征在于，在进行上述步骤1之前，根据功能验证的配置参数，命名关键字，确定统一风格的关键字命名，并且关键字以库的形式进行管理。

3.根据权利要求1或2所述的一种基于perl实现断言自动插入RTL的方法，其特征在于，在进行上述步骤1之前，RTL编码前把设计划分为多个模块，创建所有模块所有需要插入的断言，各断言代码中定义相应的配置参数来完成功能的验证，并以库的形式进行管理。

4.根据权利要求3所述的一种基于perl实现断言自动插入RTL的方法，其特征在于，步骤3中，RTL设计完成后执行perl脚本在关键字位置一键插入所有模块的断言。

5.根据权利要求4所述的一种基于perl实现断言自动插入RTL的方法，其特征在于，关键词库通过关键词匹配，验证通过，建立对应关系与断言库建立连接。

6.根据权利要求5所述的一种基于perl实现断言自动插入RTL的方法，其特征在于，根据不同验证点确定统一风格的关键字命名，验证点包括FIFO、Interface、存储器、信号明确有时间限制的关系点。

7.根据权利要求6任一项所述的一种基于perl实现断言自动插入RTL的方法，其特征在于，关键字为FLAG_FIFO。