一种基于perl实现断言自动插入RTL的方法技术

本发明专利技术涉及一种基于perl实现断言自动插入RTL的方法，其特征在于，包括如下步骤：步骤1：RTL设计代码中插入相应的代表相关断言验证的关键字，确定插入断言的位置；步骤2：从断言库中精确匹配插入关键字位置的断言程序，使断言库和RTL设计代码的有机结合，创建perl脚本；步骤3：执行perl脚本，实现向RTL代码中插入断言程序；步骤4：将插入后的代码写回到RTL代码文件中。

A method of automatic assertion insertion of RTL based on Perl

The invention relates to a method for realizing automatic insertion of Perl assertions based on RTL, is characterized by comprising the following steps: the corresponding Assertion Verification on behalf of the relevant keyword insertion step 1:RTL design code, determine the position of assertions; step 2: from the assertion library exactly matches into the keyword position that program, combine that database and RTL design code, create a Perl script; step 3: execution of the Perl script, insert assertions to RTL program code; step 4: insert the code written to RTL code file.

【技术实现步骤摘要】
一种基于perl实现断言自动插入RTL的方法
本专利技术属于集成电路设计验证
，具体涉及一种基于perl实现断言自动插入RTL的方法。
技术介绍
当今超大规模集成电路复杂度高、规模大、层次多，验证复杂度剧增，采用断言方式的验证也愈来愈多，但在实际应用中，仅一个单一模块可能用到的断言监视器可能就达几十乃至百个之多，对于规模大的芯片，由设计人员手动在RTL代码中插入断言的方式，不仅会占用设计人员不少的时间和精力，而且手动操作更易出错，同时，迭代过程对元素进行删增等操作会出现断言错误，往往需要更多的精力进行修改。此为现有技术的不足之处。
技术实现思路
本专利技术的目的在于，针对在设计中插入断言的繁琐以及花费时间长，不便于迭代的缺陷，提供设计一种基于perl实现断言自动插入RTL的方法。为了达到上述目的，本专利技术的技术方案为：一种基于perl实现断言自动插入RTL的方法，其特征在于，包括如下步骤：步骤1：RTL设计代码中插入相应的代表相关断言验证的关键字，确定插入断言的位置；步骤2：从断言库中精确匹配插入关键字位置的断言程序，使断言库和RTL设计代码的有机结合，创建perl脚本；步骤3：本文档来自技高网...

【技术保护点】
一种基于perl实现断言自动插入RTL的方法，其特征在于，包括如下步骤：步骤1：RTL设计代码中插入相应的代表相关断言验证的关键字，确定插入断言的位置；步骤2：从断言库中精确匹配插入关键字位置的断言程序，使断言库和RTL设计代码的有机结合，创建perl脚本；步骤3：执行perl脚本，实现向RTL代码中插入断言程序；步骤4：将插入后的代码写回到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编码前把设计划分为多个模块，创建所有...

【专利技术属性】
技术研发人员：张永照，童元满，
申请(专利权)人：广东浪潮大数据研究有限公司，
类型：发明
国别省市：广东,44