How to get Arduino Zero's EDBG chip datasheet

I am using Arduino Zero to development a new sensing device and make a new circuit. However, I can't find the Atmel embedded debugger (EDBG) datasheet in the website. Is there anybody know how to get this datasheet. Thank you.

I'm not sure but knowing Atmel I'd say its proprietary. Actually I think it's a standard CPU, its the code that makes it an EDBG.

Why not just buy an ICE and use the SWD interface, they are about $70 but at least you don't have to include extra stuff on each board that way.