Hi Marcos,

it depends from the program inside the 80C51.

To check, if the pin works, you must use it as an 80C31 (EA = GND) with external EPROM (27C512) connected. Then write a simple program:

org 0
jmp 8000h
org 8000h
jmp $

Now after Reset A15 must be high.

Peter