北京大學微處理器研發中心日前宣布,北京大學已成為中國大陸首家通過IC功能驗證供應商—美國Verisity公司的大學計劃,獲得Verisity Specman Elite軟件使用授權的學府。據稱此計劃的實施,將有助于北京大學微處理器研發中心推進SoC研究進程,培養工業界急需的工程人員。

北京大學微處理器研發中心是北京大學重點支持的研究中心之一。中心承擔了國家科技部國家教育部20余項科研任務。此次加入Verisity的大學計劃,使得北京大學微處理器研發中心在IC設計驗證中了解和掌握國際先進的驗證方法學以及實現的方法。

Verisity公司負責亞太地區的副總裁Coby Hanoch先生表示:“我們對中國大陸持續增長的IC設計領域的發展十分看好,通過與北京大學密切的合作,使我們有更多的機會參與這一領域的發展以及相應的人才培養。”

Verisity在中國大陸的唯一授權的代理商NewPlus公司的總經理彭京先生表示:“目前我們國內缺乏具有經驗的IC驗證工程師,此次,Verisity向國內的著名學府提供領先的驗證方法學和技術方案,將有助于國內此方面人才的培養。”

據介紹,成立于1996年的Verisity公司是一家IC功能驗證的供應商,專業從事提供功能驗證的解決方案。其提出的驗證語言—“e語言”目前已經被IEEE確定為標準(IEEE P1647)。

Verisity公司為客戶提供一整套的驗證解決方案,包括實現e語言的Solve-驗證工具Specman Elite,并提供給客戶豐富驗證方法常識的Verification Advisor；以及大量的驗證IP,加速驗證的效率,使得芯片設計人員在大大提高設計的品質以及效能。