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