【技术实现步骤摘要】
本专利技术涉及ip验证，特别是涉及一种rtl静态验证系统。
技术介绍
1、目前，rtl代码的静态验证通常通过静态验证工具使用其自带的验证规则集合进行处理，从而确定出rtl代码中的异常代码段，在底层rtl代码进行静态验证后，设计人员可以对得到的异常代码段进行屏蔽或者修复处理，然而，由于不同异常代码段对于整体设计的危险程度不同，可能会出现危险程度较高的异常代码段被屏蔽进而导致rtl设计的可行性较低，从而需要耗费更多资源进行代码分析，导致rtl代码的验证效率较低。
2、另外，在底层rtl代码集合集成到顶层之后，底层rtl代码集合中被屏蔽的代码段仍然需要在顶层再次进行验证，从而导致出现冗余操作，也会降低rtl代码验证与设计的效率，因此，如何提高rtl代码验证的效率成为了亟待解决的问题。
技术实现思路
1、针对上述技术问题，本专利技术采用的技术方案为：
2、一种rtl静态验证系统，所述系统包括：静态验证工具、数据库、处理器和存储有计算机程序的存储器，其中，所述数据库中包括待验证的底层rtl代码、验证规则集合和参考信息集合，所述底层rtl代码包括若干个代码段，所述参考信息集合包括若干个参考信息，当所述计算机程序被处理器执行时，实现以下步骤：
3、s101，根据所述验证规则集合，使用所述静态验证工具对所述底层rtl代码中的每个代码段进行验证，得到m个异常代码段及其对应的异常信息，m为正整数。
4、s102，针对任一异常代码段，若所述异常代码段对应的
5、s103，针对任一第二类异常代码段，若所述第二类异常代码段对应有屏蔽操作，则获取所述第二类异常代码段对应的底层屏蔽文件。
6、s104，若所述底层屏蔽文件包括初始模组名称信息和生成块及其对应的第一层级路径信息，则使用预设的映射方式将所述底层屏蔽文件中的所述初始模组名称信息映射为目标模组名称信息，将所述底层屏蔽文件中的所述第一层级路径信息按照dft设计规则展开为第二层级路径信息，得到对应第二类异常代码段的目标屏蔽文件。
7、s105，将所述底层rtl代码集成至顶层，得到顶层rtl代码，使用每个目标屏蔽文件对顶层rtl代码中的各个代码段进行匹配，确定各个目标屏蔽文件分别匹配到的代码段为目标代码段。
8、s106，在所述顶层rtl代码中对各个目标代码段进行屏蔽操作后，根据所述验证规则集合，使用所述静态验证工具对所述顶层rtl代码进行验证。
9、本专利技术与现有技术相比具有明显的有益效果，借由上述技术方案，本专利技术提供的一种rtl静态验证系统可达到相当的技术进步性及实用性，并具有产业上的广泛利用价值，其至少具有以下有益效果：
10、本专利技术提供了一种rtl静态验证系统，所述系统包括：静态验证工具、数据库、处理器和存储有计算机程序的存储器，其中，所述数据库中包括待验证的底层rtl代码、验证规则集合和参考信息集合，所述底层rtl代码包括若干个代码段，所述参考信息集合包括若干个参考信息，当所述计算机程序被处理器执行时，实现以下步骤：根据所述验证规则集合，使用所述静态验证工具对所述底层rtl代码中的每个代码段进行验证，得到m个异常代码段及其对应的异常信息，m为正整数，针对任一异常代码段，若所述异常代码段对应的异常信息与任一参考信息一致，则确定所述异常代码为第一类异常代码段，否则，确定所述异常代码为第二类异常代码段，得到m1个第一类异常代码段和m2个第二类异常代码段，m1和m2均为非负整数且m1+m2＝m，所述第一类异常代码段不允许执行屏蔽操作，针对任一第二类异常代码段，若所述第二类异常代码段对应有屏蔽操作，则获取所述第二类异常代码段对应的底层屏蔽文件，若所述底层屏蔽文件包括初始模组名称信息和生成块及其对应的第一层级路径信息，则使用预设的映射方式将所述底层屏蔽文件中的所述初始模组名称信息映射为目标模组名称信息，将所述底层屏蔽文件中的所述第一层级路径信息按照dft设计规则展开为第二层级路径信息，得到对应第二类异常代码段的目标屏蔽文件，将所述底层rtl代码集成至顶层，得到顶层rtl代码，使用每个目标屏蔽文件对顶层rtl代码中的各个代码段进行匹配，确定各个目标屏蔽文件分别匹配到的代码段为目标代码段，在所述顶层rtl代码中对各个目标代码段进行屏蔽操作后，根据所述验证规则集合，使用所述静态验证工具对所述顶层rtl代码进行验证。
11、可知，将异常信息与任一参考信息一致的异常代码段作为第一类异常代码段，第一类异常代码不允许执行屏蔽操作，则设计人员仅能对其进行修复，保证了rtl代码设计的可行性，进而提高了rtl代码的验证效率，对于屏蔽处理后的第二类异常代码段，将其对应的初始屏蔽文件调整为目标屏蔽文件，使得在底层rtl代码集成到顶层之后，可以通过目标屏蔽文件匹配得到目标代码段，再直接进行屏蔽操作，而无需在顶层再次进行静态验证，从而提高了rtl代码的验证效率。
本文档来自技高网...【技术保护点】
1.一种RTL静态验证系统，其特征在于，所述系统包括：静态验证工具、数据库、处理器和存储有计算机程序的存储器，其中，所述数据库中包括待验证的底层RTL代码、验证规则集合和参考信息集合，所述底层RTL代码包括若干个代码段，所述参考信息集合包括若干个参考信息，当所述计算机程序被处理器执行时，实现以下步骤：
2.根据权利要求1所述的RTL静态验证系统，其特征在于，所述静态验证工具为spyglass工具；
3.根据权利要求1所述的RTL静态验证系统，其特征在于，所述系统还包括后端综合工具；
4.根据权利要求3所述的RTL静态验证系统，其特征在于，所述若所述后端综合任务执行异常，则将所述异常信息作为参考信息加入所述参考信息集合，包括：
5.根据权利要求1所述的RTL静态验证系统，其特征在于，所述将所述底层RTL代码集成至顶层，得到顶层RTL代码，包括：
6.根据权利要求1所述的RTL静态验证系统，其特征在于，在所述将所述底层屏蔽文件中的所述第一层级路径信息按照DFT设计规则展开为第二层级路径信息之后，还包括：
7.根据
8.根据权利要求7所述的RTL静态验证系统，其特征在于，所述顶层RTL代码中的各个RTL代码对应有参考模组名称信息和参考层级路径信息；
...【技术特征摘要】
1.一种rtl静态验证系统，其特征在于，所述系统包括：静态验证工具、数据库、处理器和存储有计算机程序的存储器，其中，所述数据库中包括待验证的底层rtl代码、验证规则集合和参考信息集合，所述底层rtl代码包括若干个代码段，所述参考信息集合包括若干个参考信息，当所述计算机程序被处理器执行时，实现以下步骤：
2.根据权利要求1所述的rtl静态验证系统，其特征在于，所述静态验证工具为spyglass工具；
3.根据权利要求1所述的rtl静态验证系统，其特征在于，所述系统还包括后端综合工具；
4.根据权利要求3所述的rtl静态验证系统，其特征在于，所述若所述后端综合任务执行异常，则将所述异常信息作...
【专利技术属性】
技术研发人员：林涛，
申请(专利权)人：沐曦科技成都有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。