英諾達攜最新發(fā)布的EnFortius LPC低功耗驗證EDA工具亮相ICCAD 2022，并在會議期間發(fā)表主題演講。

英諾達(成都)電子科技有限公司攜最新發(fā)布的EnFortius Low Power Checker(簡稱LPC)低功耗驗證EDA工具亮相ICCAD 2022——中國集成電路設計業(yè)2022年會暨廈門集成電路產(chǎn)業(yè)創(chuàng)新發(fā)展高峰論壇——并在會議期間發(fā)表主題演講。 ICCAD是集成電路設計業(yè)一年一度的盛會，今年，ICCAD以“共創(chuàng)新發(fā)展，聚焦芯未來”為主題，吸引了國內(nèi)外主要EDA廠商、電路設計企業(yè)及其他企業(yè)代表參加，共同探討新形勢下集成電路產(chǎn)業(yè)發(fā)展。英諾達創(chuàng)始人及CEO王琦博士和英諾達副總經(jīng)理熊文分別發(fā)表了題為《數(shù)字IC低功耗設計所面臨的挑戰(zhàn)及應對方案》和《面向下一代低功耗設計的靜態(tài)驗證工具》的演講。

近幾年，隨著應用領域的擴展、技術(shù)的升級以及綠色低碳的發(fā)展，功耗重要性愈加凸顯，在一些特定的應用場景中低功耗設計成為必不可少的重要一環(huán)，比如高性能計算和人工智能，芯片需要大量的運算能力，因此功耗也相對較高;而另一方面，在汽車電子、5G以及新能源等領域，芯片往往需要盡量低的功耗以保證設備的續(xù)航能力，同樣也需要低功耗設計。隨著應用場景的迭代更新，功耗也與性能和面積一起，成為了工程師們考量的重要元素之一。

低功耗設計方法學在近幾十年里也在不斷演進。在數(shù)字設計方面，從初代低功耗設計標準格式CPF和UPF誕生以來，這個標準經(jīng)過多代的更新和融合，現(xiàn)在已經(jīng)成為業(yè)界所熟知的IEEE 1801-2018(UPF 3.1)，這個標準可以幫助設計人員在單個文件中描述所有先進的電源管理技術(shù)。

“低功耗會影響到芯片設計的各個方面，從系統(tǒng)設計、RTL設計到最后的物理實現(xiàn)， 低功耗設計并不是其中某一個流程的重點，而是貫穿整個設計流程?！蓖蹒┦吭谘葜v中談到，“英諾達此次推出的首款EnFortius低功耗系列致力于解決芯片的低功耗設計帶來的挑戰(zhàn)，我們的系列工具將在功耗的評估、優(yōu)化到設計檢查等方面，真正做到讓產(chǎn)品低功耗設計再無難事。”

王琦博士深耕低功耗領域多年，作為CPF的發(fā)明人，他擁有多項與該標準相關(guān)的專利，而EnFortius的幾位核心研發(fā)成員也是由熟諳EDA核心算法和UPF的資深專家組成。此次會議期間，英諾達向觀眾演示了其首款自主研發(fā)的EnFortius LPC低功耗設計驗證工具，該款EDA工具通過讀入標準的設計相關(guān)文件，可以幫助設計師快速定位低功耗設計相關(guān)問題。

英諾達團隊在開發(fā)該工具的初期就注重核心數(shù)據(jù)架構(gòu)的搭建，LPC不僅支持最新版本的UPF，而且支持許多舊版本中最常用的語法和語義。此外，憑借多年使用體驗，核心開發(fā)團隊能夠?qū)Ｗ⒂诙鄠€版本的UPF以及不同版本中最常被大多數(shù)芯片設計公司或設計師使用的方法和結(jié)構(gòu)。 該款工具支持三個階段、四類文件的完整性驗證：在RTL、門級網(wǎng)表和物理實現(xiàn)階段可以分別對單元庫、UPF電源意圖、邏輯網(wǎng)表和物理網(wǎng)表進行完整性驗證。該工具加強了對報錯信息的查詢和重組，可任意組合多種過濾器，按信息分類，所涉及實例進行查詢。通過縮小查錯范圍，可以為工程師突出重點，從而逐個突破。

英諾達副總經(jīng)理熊文在演講中表示：“英諾達對行業(yè)常用的低功耗設計方法及客戶在低功耗設計檢查方面的需求有清晰的認識，EnFortius LPC這款工具可以無縫銜接到客戶現(xiàn)有的設計流程中，有效地為工程師們定位相關(guān)的問題，極大提高了設計的效率。此外，我們還擁有資深AE團隊，幫助客戶應對任何低功耗設計相關(guān)的挑戰(zhàn)和技術(shù)難題。我相信在英諾達硬件驗證云平臺的加持下，我們?yōu)榭蛻袅可泶蛟斓慕鉀Q方案可以加速客戶產(chǎn)品的上市時間，從而實現(xiàn)與客戶的共同成長。”

審核編輯：湯梓紅