欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
OpenSPARC
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
[[Image:OpenSPARC_square_01.gif|right]] | [[Image:OpenSPARC_square_01.gif|right]] | ||
| − | http://opensparc.sunsource.net/ | + | Sun公司为其多线程UltraSparc T1（Niagara）处理器发布了开源软硬件规范。UltraSparc T1现在叫OpenSparc T1。 |
| + | |||
| + | OpenSparc T1是一个不收许可费的64位32线程处理器设计。去年12月Sun宣布准备为该处理器制定开源硬件规范。 | ||
| + | |||
| + | 具体说，Sun发布了用于该处理器设计的Verilog RTL代码、一个验证套件和模拟模型、一个指令集架构规范和Solaris 10操作系统仿真图像。 | ||
| + | |||
| + | ==相关链接== | ||
| + | *http://opensparc.sunsource.net/ | ||
| + | *OpenSPARC Wiki http://wiki.opensparc.info/ | ||
==OpenSPARC子项目== | ==OpenSPARC子项目== | ||
2006年7月23日 (日) 09:00的版本
Sun公司为其多线程UltraSparc T1（Niagara）处理器发布了开源软硬件规范。UltraSparc T1现在叫OpenSparc T1。
OpenSparc T1是一个不收许可费的64位32线程处理器设计。去年12月Sun宣布准备为该处理器制定开源硬件规范。
具体说，Sun发布了用于该处理器设计的Verilog RTL代码、一个验证套件和模拟模型、一个指令集架构规范和Solaris 10操作系统仿真图像。
相关链接
- http://opensparc.sunsource.net/
- OpenSPARC Wiki http://wiki.opensparc.info/
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/
分享您的观点
