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驗證、測試平臺自動化、晶體管級分析以及用戶邏輯與存儲器的形式化驗證的工作。