Synopsys公司日前宣布推出支持Sun Microsystems UltraSPARC T1處理器的系列設(shè)計(jì)及開(kāi)發(fā)驗(yàn)證平臺(tái)，Sun公司已發(fā)布了該處理器基于開(kāi)放源碼GNU GPL授權(quán)的硬件設(shè)計(jì)規(guī)范。 
       此次推出的電子設(shè)計(jì)自動(dòng)化工具已被Sun Microsystems的相關(guān)設(shè)計(jì)人員所采用，用于實(shí)現(xiàn)和驗(yàn)證UltraSPARC T1處理器。 
       采用CoolThreads技術(shù)的UltraSPARC T1處理器是工業(yè)標(biāo)準(zhǔn)多線程處理器，具有4個(gè)多線程內(nèi)核，功耗為72W，可同時(shí)執(zhí)行32個(gè)線程。Sun公司通過(guò)一個(gè)開(kāi)放源碼模型為該處理器的硬件設(shè)計(jì)和驗(yàn)證提供了套件。 
       Sun的UltraSPARC T1開(kāi)放源碼包括可綜合的Verilog RTL源代碼、OpenVera測(cè)試套件、監(jiān)視器、覆蓋對(duì)象以及支持Synopsys Design Compiler綜合與VCS RTL驗(yàn)證工具的腳本等。Sun的工程人員利用Galaxy Design Platform解決方案對(duì)UltraSPARC T1進(jìn)行了開(kāi)發(fā)和驗(yàn)證，包括RTL綜合、設(shè)計(jì)規(guī)劃、物理綜合、布局及布線、時(shí)序信號(hào)測(cè)試，并利用Discovery Verification Platform進(jìn)行了RTL驗(yàn)證、測(cè)試平臺(tái)自動(dòng)化、晶體管級(jí)分析以及用戶邏輯與存儲(chǔ)器的形式化驗(yàn)證的工作。