http://sparc.org/technical-documents/
One embedded implementation with a ton of supporting I.P. is GPL'd, FPGA-proven, ASIC-proven, and rad-hard in some verisons:
http://www.gaisler.com/index.php/downloads/leongrlib?task=vi...
And then there's Oracle, their badass chips, and their evil ass lawyers. We can stay away from all that. SPARC is better and safer than Oracle but very importantly SPARC != Oracle.