proteus +dwarf
Proteus loads the object module format produced by the compiler in order to extract addressing information, nesting levels, source info etc.
Supported formats include COFF, COD (limited support), UBROF8 (IAR), OMF51 ( Keil), ELF/DWARF (forthcoming in V6.8 ).
If your compiler can produce one of these formats then specify this file as the program property for the microcontroller on the schematic.
More information can be found here : h**p://www.labcenter.co.uk/products/compilers.htm
Iain.