申请/专利权人：沐曦科技(成都)有限公司

申请日：2024-03-12

公开（公告）日：2024-05-07

公开（公告）号：CN117993337A

主分类号：G06F30/33

分类号：G06F30/33;G06F30/327

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.05.24#实质审查的生效;2024.05.07#公开

摘要：本申请涉及IP验证技术领域，特别是涉及一种RTL静态验证系统，系统包括：静态验证工具、数据库、处理器和存储有计算机程序的存储器，当计算机程序被处理器执行时，实现以下步骤：对底层RTL代码进行验证，得到异常代码段及其异常信息，根据异常信息与参考信息的比对结果，确定出第一类异常代码，第一类异常代码不允许执行屏蔽操作，设计人员仅能对其进行修复，保证了RTL代码设计的可行性，进而提高了RTL代码的验证效率，对于屏蔽处理的第二类异常代码段，将其对应的初始屏蔽文件调整为目标屏蔽文件，使得在底层RTL代码集成到顶层之后，可以直接通过目标屏蔽文件匹配得到目标代码段进行屏蔽操作，而无需在顶层再次验证，提高了RTL代码的验证效率。

主权项：1.一种RTL静态验证系统，其特征在于，所述系统包括：静态验证工具、数据库、处理器和存储有计算机程序的存储器，其中，所述数据库中包括待验证的底层RTL代码、验证规则集合和参考信息集合，所述底层RTL代码包括若干个代码段，所述参考信息集合包括若干个参考信息，当所述计算机程序被处理器执行时，实现以下步骤：S101，根据所述验证规则集合，使用所述静态验证工具对所述底层RTL代码中的每个代码段进行验证，得到M个异常代码段及其对应的异常信息，M为正整数；S102，针对任一异常代码段，若所述异常代码段对应的异常信息与任一参考信息一致，则确定所述异常代码为第一类异常代码段，否则，确定所述异常代码为第二类异常代码段，得到m1个第一类异常代码段和m2个第二类异常代码段，m1和m2均为非负整数且m1+m2＝M，所述第一类异常代码段不允许执行屏蔽操作；S103，针对任一第二类异常代码段，若所述第二类异常代码段对应有屏蔽操作，则获取所述第二类异常代码段对应的底层屏蔽文件；S104，若所述底层屏蔽文件包括初始模组名称信息和生成块及其对应的第一层级路径信息，则使用预设的映射方式将所述底层屏蔽文件中的所述初始模组名称信息映射为目标模组名称信息，将所述底层屏蔽文件中的所述第一层级路径信息按照DFT设计规则展开为第二层级路径信息，得到对应第二类异常代码段的目标屏蔽文件；S105，将所述底层RTL代码集成至顶层，得到顶层RTL代码，使用每个目标屏蔽文件对顶层RTL代码中的各个代码段进行匹配，确定各个目标屏蔽文件分别匹配到的代码段为目标代码段；S106，在所述顶层RTL代码中对各个目标代码段进行屏蔽操作后，根据所述验证规则集合，使用所述静态验证工具对所述顶层RTL代码进行验证。

全文数据：

权利要求：

百度查询： 沐曦科技(成都)有限公司 一种RTL静态验证系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD