發(fā)布日期:2022-07-15 點擊率:54
北京大學微處理器研發(fā)中心日前宣布,北京大學已成為中國大陸首家通過IC功能驗證供應(yīng)商—美國Verisity公司的大學計劃,獲得Verisity Specman Elite軟件使用授權(quán)的學府。據(jù)稱此計劃的實施,將有助于北京大學微處理器研發(fā)中心推進SoC研究進程,培養(yǎng)工業(yè)界急需的工程人員。
北京大學微處理器研發(fā)中心是北京大學重點支持的研究中心之一。中心承擔了國家科技部國家教育部20余項科研任務(wù)。此次加入Verisity的大學計劃,使得北京大學微處理器研發(fā)中心在IC設(shè)計驗證中了解和掌握國際先進的驗證方法學以及實現(xiàn)的方法。
Verisity公司負責亞太地區(qū)的副總裁Coby Hanoch先生表示:“我們對中國大陸持續(xù)增長的IC設(shè)計領(lǐng)域的發(fā)展十分看好,通過與北京大學密切的合作,使我們有更多的機會參與這一領(lǐng)域的發(fā)展以及相應(yīng)的人才培養(yǎng)。”
Verisity在中國大陸的唯一授權(quán)的代理商NewPlus公司的總經(jīng)理彭京先生表示:“目前我們國內(nèi)缺乏具有經(jīng)驗的IC驗證工程師,此次,Verisity向國內(nèi)的著名學府提供領(lǐng)先的驗證方法學和技術(shù)方案,將有助于國內(nèi)此方面人才的培養(yǎng)。”
據(jù)介紹,成立于1996年的Verisity公司是一家IC功能驗證的供應(yīng)商,專業(yè)從事提供功能驗證的解決方案。其提出的驗證語言—“e語言”目前已經(jīng)被IEEE確定為標準(IEEE P1647)。
Verisity公司為客戶提供一整套的驗證解決方案,包括實現(xiàn)e語言的Solve-驗證工具Specman Elite,并提供給客戶豐富驗證方法常識的Verification Advisor;以及大量的驗證IP,加速驗證的效率,使得芯片設(shè)計人員在大大提高設(shè)計的品質(zhì)以及效能。