In general the Arduino documentation is pretty woeful, such a spec may exist but I've never seen it. As with everything else you have to grab the schematics and PCB files and even look in the code.
I really think the docs need a lot of work but who's going to do it? Nobody gets paid for doing this stuff and those with the knowledge are probably too busy doing other things.
Rob