日前，中科院EDA中心與奧肯思公司在京聯(lián)合舉辦了針對低功耗優(yōu)化點工具應(yīng)用研討會。中科院京區(qū)相關(guān)單位20余名科研人員參加了會議。 

　　主講人王小慶工程師針對PowerPro和SLEC兩款工具做了主要闡述。他指出，PowerPro工具的目標(biāo)是低功耗設(shè)計，核心是增加門控的技術(shù)，與時序形式驗證工具SLEC構(gòu)成了高層次設(shè)計與驗證的完整體系。隨著消費類電子產(chǎn)品的蓬勃發(fā)展，產(chǎn)品的低功耗設(shè)計變得越來越重要。研發(fā)人員在RTL設(shè)計的開發(fā)過程中，采用自動化工具或者手動方式對設(shè)計的微結(jié)構(gòu)進(jìn)行適當(dāng)優(yōu)化，能夠極大地實現(xiàn)功耗降低，同時在RTL設(shè)計上實現(xiàn)功耗分析推動設(shè)計的低功耗優(yōu)化。 

　　會上，與會人員就具體相關(guān)技術(shù)問題展開了討論交流。