The source of the design in Verilog, a verification suite and simulation models, ISA specification (UltraSPARC Architecture 2005), and a software simulation model for Solaris that gives developers a rapid means of developing and testing software functionality in the absense of actual hardware. See Question 31 for more details.