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

说明书

技术领域

本发明属于集成电路设计验证技术领域，具体涉及一种基于perl实现断言自动插入RTL的方法。

背景技术

当今超大规模集成电路复杂度高、规模大、层次多，验证复杂度剧增，采用断言方式的验证也愈来愈多，但在实际应用中，仅一个单一模块可能用到的断言监视器可能就达几十乃至百个之多，对于规模大的芯片，由设计人员手动在RTL代码中插入断言的方式，不仅会占用设计人员不少的时间和精力，而且手动操作更易出错，同时，迭代过程对元素进行删增等操作会出现断言错误，往往需要更多的精力进行修改。此为现有技术的不足之处。

发明内容

本发明的目的在于，针对在设计中插入断言的繁琐以及花费时间长，不便于迭代的缺陷，提供设计一种基于perl实现断言自动插入RTL的方法。

为了达到上述目的，本发明的技术方案为：

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

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

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

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

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

在进行上述步骤1之前，根据功能验证的配置参数，命名关键字，确定统一风格的关键字命名，并且关键字以库的形式进行管理；RTL编码前把设计划分为多个模块，创建所有模块所有需要插入的断言，各断言代码中定义相应的配置参数来完成功能的验证，并以库的形式进行管理。

步骤3中，RTL设计完成后执行perl脚本在关键字位置一键插入所有模块的断言。

优选地，根据不同验证点确定统一风格的关键字命名，验证点包括FIFO、Interface、存储器、信号明确有时间限制的关系点。

优选地，插入的关键字为FLAG_FIFO。

断言的产生过程包括：产生确认集成电路设计中各模块规格的设计数据或文档，并将数据进行存储；分析设计数据产生用于验证模块规格的特性，并将特性转换为断言描述；关键词库通过关键词匹配，验证通过，建立对应关系与断言库建立连接。

每个断言只验证一个条件。

为任何功能划分模糊或边角逻辑添加断言验证。

将分散在各层级各模块中分散状态的断言以库的形式统一管理；在RTL代码设计过程中，只需要向代码中插入提前命名好的关键字，代码完成后可通过perl的文本精确处理能力，在关键字位置一键插入所有模块的断言。

本发明的有益效果在于，利用perl的强大文本处理能力，通过实现自动化插入的方式，降低出错率，节省开发时间也便于迭代，迭代过程节省修改时间。

此外，本发明设计原理可靠，结构简单，具有非常广泛的应用前景。

由此可见，本发明与现有技术相比，具有突出的实质性特点和显著地进步，其实施的有益效果也是显而易见的。

附图说明

图1 为本实施例提供的一种基于perl实现断言自动插入RTL的方法中perl的结构图。

图2为一种基于perl实现断言自动插入RTL的方法中自动插入过程示图。

具体实施方式

下面结合附图并通过具体实施例对本发明进行详细阐述，以下实施例是对本发明的解释，而本发明并不局限于以下实施方式。

如图1所示，本实施例提供的一种基于perl实现断言自动插入RTL的方法，包括如下步骤：

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

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

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

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

在进行上述步骤1之前，根据功能验证的配置参数，命名关键字，确定统一风格的关键字命名，并且关键字以库的形式进行管理；RTL编码前把设计划分为多个模块，创建所有模块所有需要插入的断言，各断言代码中定义相应的配置参数来完成功能的验证，并以库的形式进行管理。

步骤3中，RTL设计完成后执行perl脚本在关键字位置一键插入所有模块的断言。

根据不同验证点确定统一风格的关键字命名，验证点包括FIFO、Interface、存储器、信号明确有时间限制的关系点。