欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
OpenSPARC
来自开放百科 - 灰狐
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/
分享您的观点
