I understand what you mean: the ELF file can have debugger symbols in it. Nevertheless, the ELF file is where the debugger and flash programmer pick up the machine code to simulate or download into Flash. I presume that the module that performs the downloading to Flash strips out the debug symbols.
You need to consult the
5800E Flash Programmer Users Guide manual, which came with the DSP installation. It's located under the {CodeWarrior Directory}\Help\PDF subdirectory as the file Flash_Programmer_Users_Guide.pdf. The command-line version of the Flash programmer also support a -crc option, which performs a 32-bit CRC from a start address to an end address, and reports this value to you.
Sorry for the delay in replying. I had to track this down. HTH.
---Tom