DSP汇编程序基本块划分与优化及其软件实现

摘要

针对空间环境中DSP软错误检测的需求,研究一种DSP汇编程序基本块划分与优化方法,并对其进行了软件实现。该方法首先将汇编程序精简为只含指令和标号的＂伪汇编＂程序;再对＂伪汇编＂代码进行基本块划分;然后经过3种优化得到优化后的基本块。最后根据优化前后的基本块信息,分别绘制优化前后的跳转流程图。利用该软件可以将程序划分为基本块的集合,并提取每个基本块的结构信息,可有效支撑基于完整性检查的程序流错误检测。软件代码精简、稳定性好、空间复杂度小,对DSP单粒子效应故障检测有着重要的应用价值。