Synopsys公司日前宣布推出支持Sun Microsystems UltraSPARC T1处理器的系列设计及开发验证平台，Sun公司已发布了该处理器基于开放源码GNU GPL授权的硬件设计规范。
此次推出的电子设计自动化工具已被Sun Microsystems的相关设计人员所采用，用于实现和验证UltraSPARC T1处理器。
采用CoolThreads技术的UltraSPARC T1处理器是工业标准多线程处理器，具有4个多线程内核，功耗为72W，可同时执行32个线程。Sun公司通过一个开放源码模型为该处理器的硬件设计和验证提供了套件。
Sun的UltraSPARC T1开放源码包括可综合的Verilog RTL源代码、OpenVera测试套件、监视器、覆盖对象以及支持Synopsys Design Compiler综合与VCS RTL验证工具的脚本等。Sun的工程人员利用Galaxy Design Platform解决方案对UltraSPARC T1进行了开发和验证，包括RTL综合、设计规划、物理综合、布局及布线、时序信号测试，并利用Discovery Verification Platform进行了RTL验证、测试平台自动化、晶体管级分析以及用户逻辑与存储器的形式化验证的工作。