[发明专利]调试系统和方法

说明书

用于调试的方法包括由硬件调试服务器(106)接收(412)用于在高级语言(HLL)软件规范中设置断点的HLL调试命令。硬件调试服务器将HLL调试命令转换(414)为硬件调试命令，该硬件调试命令指定作为软件规范的表示的硬件有限状态机的条件。将硬件调试命令输入(414)到模拟器(108)。模拟器响应于硬件调试命令而在有限状态机上添加(420)条件断点，并且执行(420，426)有限状态机表示的模拟。响应于在有限状态机中检测到该条件而暂停(428)模拟的执行。

技术领域

本公开总体上涉及已经使用软件调试器被转换为硬件描述的调试软件。

背景技术

一种用于改进软件系统的性能的技术是将所选择的部分实现为硬件加速器。系统中表现出高计算复杂度并且消耗总运行时间的大部分的那些部分可以是用于实现为硬件加速器的合适候选。例如，硬件加速器可以是专用集成电路(ASIC)、图形处理单元(GPU)或在现场可编程门阵列(FPGA)上运行的电路。软件设计者在创建硬件加速器时采用的常用方法是使用高级合成(HLS)工具来将所标识的部分的原始高级语言(HLL)规范转换为电路的等效寄存器传输级(RTL)或其他硬件描述语言(HDL)规范。

尽管所生成的RTL规范在功能上可以与HLL规范相同，但是软件设计者可能需要在系统开发过程中调试RTL规范。涉及定时、并发和竞争条件的问题在开发HLL规范时可能已经被掩盖，并且可能在硬件模拟期间浮出水面。此外，软件和硬件库实现的差异、不正确的转换或存储器访问的差异可能会产生实现问题。

RTL实现的调试可以通过诸如XILINX公司的模拟器或MentorGraphics公司的模拟器等模拟器来支持。在测试RTL实现时，软件设计者会跟踪低电平信号和寄存器，并解释波形。

发明内容

一种所公开的调试方法包括由在计算机系统上执行的硬件调试服务器接收用于在高级语言(HLL)软件规范中设置断点的HLL调试命令。硬件调试服务器将HLL调试命令转换为硬件调试命令，该硬件调试命令指定作为软件规范的表示的硬件有限状态机的条件。将硬件调试命令输入到模拟器，并且响应于硬件调试命令，模拟器在有限状态机上添加条件断点。模拟器执行有限状态机表示的模拟，并且响应于在有限状态机中检测到该条件而暂停模拟的执行。

一种所公开的调试系统包括处理器和耦合到处理器的存储器布置。存储器布置被配置有在由处理器执行时使得处理器执行包括以下各项的操作的指令：由硬件调试服务器接收用于在高级语言(HLL)软件规范中设置断点的HLL调试命令。硬件调试服务器将HLL调试命令转换为硬件调试命令，该硬件调试命令指定作为软件规范的表示的硬件有限状态机的条件。将硬件调试命令输入到模拟器，并且响应于硬件调试命令，模拟器在有限状态机上添加条件断点。模拟器执行有限状态机表示的模拟，并且响应于在有限状态机中检测到该条件而暂停模拟的执行。

考虑到下面的“具体实施方式”和“权利要求”，将认识到其他特征。

附图说明

通过阅读以下详细描述并且参考附图，该方法和系统的各个方面和特征将变得很清楚，在附图中：

图1示出了使用软件调试技术和方法来支持调试硬件加速器的系统的实现；

图2示出了HLL源代码的示例以及HLS生成的RTL代码的等效部分；

图3是示出由硬件调试服务器在使用软件调试器前端调试硬件加速器时使用的数据的生成的数据流图；

图4是生成由硬件调试服务器在使用软件调试器前端调试硬件加速器时使用的数据的过程以及在调试硬件加速器的同时硬件调试服务器的动作的流程图；以及

图5是示出可以在其上实现硬件调试服务器和模拟器内核的示例性数据处理系统的框图。

具体实施方式