1

我正在使用一组语音处理例程(用 C 编写),旨在使用 MATLAB 上的 mex 命令进行编译。我有兴趣使用 FPGA 加速这个 C 函数。

硬件通过输入端口接收指定的输入参数,其余输入作为常量进行硬编码,并将 C 函数中某个位置的特定变量(例如foo)传递到输出端口。

我有兴趣跟踪foo的计算图(不确定这是否是正确的术语) 。即foo如何与中间计算变量相关,而中间计算变量最终取决于输入参数和硬编码常量。这是为了让我可以展平逻辑,以便可以使用硬件描述语言对它们进行编码,并删除不影响foo值的不相关逻辑。问题是一些中间变量是全局的,因此跟踪是一个令人头疼的问题。

是否有一个自动化工具可以分析一组给定的 C 头文件和源文件,并提供一种跟踪指定变量如何更改的方法,并使用所有变量的某种依赖关系图?

4

1 回答 1

1

我认为您正在寻找的是进行价值分析的工具。

在可用的工具中,我认为Code Surfer可能是最好的。当然,它也很贵,但如果你是学生,他们确实有学术许可计划。在开源方面,Frama-C也可以以更有限的方式做到这一点,并且学习曲线要​​陡峭得多。但它是免费的,可以带你去你想去的地方。

于 2011-02-16T02:09:25.270 回答