欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenSPARC
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | [[Image: | + | [[Image:OpenSPARC_square_01.gif|right]] |
| + | |||
| + | http://opensparc.sunsource.net/ | ||
| + | |||
| + | ==OpenSPARC子项目== | ||
| + | *OpenSPARC T1 http://opensparc-t1.sunsource.net/ | ||
| + | *Cool Tools http://cooltools.sunsource.net | ||
| + | *Faban http://faban.sunsource.net/ | ||
| + | *FPGA http://fpga.sunsource.net/ | ||
| + | *SESC: cycle accurate architectural simulator http://sesc.sourceforge.net/ | ||
2006年7月23日 (日) 08:54的版本
http://opensparc.sunsource.net/
OpenSPARC子项目
- OpenSPARC T1 http://opensparc-t1.sunsource.net/
- Cool Tools http://cooltools.sunsource.net
- Faban http://faban.sunsource.net/
- FPGA http://fpga.sunsource.net/
- SESC: cycle accurate architectural simulator http://sesc.sourceforge.net/
分享您的观点
