Hola Fermin amigo!.
Te comento que el PROTEUS carga varias extensiones diferentes (HEX,COF,D39,etc).Los archivos .COF son generados por el compilador de C y funcionan muy bien.Los archivos .HEX tienen problemas,es mas,en mas de una ocasion use los HEX del C y no funcionaron pero si los .COF(configuracion) y tiene cierta logica que asi sea ya que el PROTEUS es un "simulador" y no es el micro real.
Por otra parte me parece que el .HEX tiene problemas ya que es el archivo que se carga en tiempo real en el micro y hay innumerables variables que son cargadas para que e lmicro funccione en tiempo real.
Es muy rara este tipo de anomalia digna de estudiarse con mucho tiempo y cafe de por medio pero
