http://www.opensparc.net/cool-tools.html
定番のGCC(gcc/g++)も、もちろんある。
locklint がおもしろそう。
http://cooltools.sunsource.net/
これらのツールをダウンロードするには、下記で、Sun Developper Networkのアカウントを取得する必要があるようだ。
http://www.sunsource.net/servlets/Join
T1自体のチップデザインのソースコードも公開されている。Verilog HDLで記述されているらしい。
フリーのVerilogシミュレータ:Icarus などで、うごかせるのでないだろうか?