一种辅助数字验证的调试方法与流程

本发明涉及一种辅助数字验证的调试方法，属于软件调试。

背景技术：

1、 随着人们生活对于电子产品的依赖越来越高，对于电子产品的功能、性能也不断提高，对于芯片的集成度越来越高，伴随着芯片设计复杂度的提升，工作量和工作难度是成数量级上升的，验证工程师通过在设计工程上面运行复杂的仿真，将芯片产品规格所描述的功能进行一一验证，以及如何检测出不正确的行为，是验证工程师面临的极大挑战。验证芯片设计，验证工程师需要搭建模块级、系统级环境，在环境的搭建及debug环境上需要耗费大量的时间，目前随着芯片行业的发展，环境的搭建已经几乎可以使用脚本完成，但是免不了需要自己将验证环境进行完善，如test case的编写、顶层连接等工作，当进行编译方针时经常会遇到编译、仿真各种各样的问题，当每个人都遇到类似的问题并耗费大量的时间去解决时，严重影响工作效率。

技术实现思路

1、本发明目的是提供了一种辅助数字验证的调试方法，有助于减少调试时间，提升工作效率，减轻工作负担。

2、本发明为实现上述目的，通过以下技术方案实现：

3、搭建调试库，通过匹配类算法根据调试库存储的信息匹配对应的解决方案；

4、使用文本实时记录代码改动操作和改动结果；

5、调试过程中结合uvm环境，指定打印信息位置，根据uvm打印信息追踪数据通路，判断数据通路是否卡死，对卡死的数据通路通过文本记录的代码改动操作和改动结果进行检查，并根据搭建的调试库查找解决方法，解决数据通路卡死问题。

6、优选的，所述调试库包括标号、问题、关键词、提示、解决方法五列。

7、优选的，根据搭建的调试库查找解决方法具体方式如下：

8、获取当前数据通路问题，提取其问题的关键词；

9、搜索调试库中的每条记录，根据提取的关键词与调试库中每条记录的关键词进行匹配；

10、将匹配到的记录中的问题与当前数据通路的问题匹配，如果一致，则根据匹配到的记录中的解决方法解决当前问题，如果不一致，则继续搜索调试库；

11、如果搜索完调试库没有匹配到一致关键词，则将数据通路问题通过网络查询，并将查询到的解决方法添加至调试库。

12、优选的，根据uvm打印信息追踪数据通路，判断数据通路是否卡死具体方式如下：

13、在每个组件内部添加打印信息，组件内设置的打印信息的冗余度根据你设置的冗余度进行选择性打印；如果仿真过程中出现环境卡死，根据打印信息判断未打印节点，如果打印信息设置的冗余度高于设置的冗余度，及时未卡死此条打印信息也不进行打印，然后继续进行下一个阶段的打印信息的检查；如若打印信息设置的冗余度等于或小于设置的冗余度，则显示此条打印信息，如果未能打印，则说明此节点出现卡死，存在问题，报出卡死信息，文件名称和代码行。

14、本发明的优点在于：本发明节省调试时间，同类问题多人调试多次所耗费的时间精力，减轻工程师的工作压力，可更快更有效的帮助工程师定位到问题所在，并能更快的找到解决方案，提升工作效率。

技术特征：

1.一种辅助数字验证的调试方法，其特征在于，包括以下内容：

2.根据权利要求1所述的辅助数字验证的调试方法，其特征在于，所述调试库包括标号、问题、关键词、提示、解决方法五列。

3.根据权利要求2所述的辅助数字验证的调试方法，其特征在于，根据搭建的调试库查找解决方法具体方式如下：

4.根据权利要求1所述的辅助数字验证的调试方法，其特征在于，根据uvm打印信息追踪数据通路，判断数据通路是否卡死具体方式如下：

5.一种辅助数字验证的调试装置，包括处理器和存储有程序指令的存储器，其特征在于，所述处理器被配置为在运行所述程序指令时，执行如权利要求1至4任一项所述的辅助数字验证的调试方法。

6.一种辅助数字验证的调试产品，其特征在于，包括：

7.一种存储介质，存储有程序指令，其特征在于，所述程序指令在运行时，执行如权利要求1至4任一项所述的辅助数字验证的调试方法。

技术总结
本发明提供了一种辅助数字验证的调试方法，属于软件调试技术领域。通过搭建调试库，通过匹配类算法根据调试库存储的信息匹配对应的解决方案；使用文本实时记录代码改动操作和改动结果；调试过程中结合UVM环境，指定打印信息位置，根据UVM打印信息追踪数据通路，判断数据通路是否卡死，对卡死的数据通路通过文本记录的代码改动操作和改动结果进行检查，并根据搭建的调试库查找解决方法，解决数据通路卡死问题。本发明有助于减少调试时间，提升工作效率，减轻工作负担。

技术研发人员：张世凯,姚香君,刘世伟,覃耀,张梦柯
受保护的技术使用者：山东华芯半导体有限公司
技术研发日：
技术公布日：2024/1/15