DSP汇编语言程序验证方法及其装置

摘要

本发明提供一种DSP汇编语言程序验证方法及其装置。该DSP汇编语言程序验证装置(100)具有：转换器(2)，其用于将DSP汇编语言程序(S0)转换成高级语言的等效功能模型(Sm)；高级语言验证单元(2)，其用于验证上述高级语言的等效功能模型(Sm)。该DSP汇编语言程序验证方法包括：转换步骤，用于将DSP汇编语言程序转换成高级语言的等效功能模型(Sm)；验证步骤，用于验证上述高级语言的等效功能模型(Sm)。