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

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

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

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

“低功耗會影響到芯片設計的各個方面，從系統設計、RTL設計到最后的物理實現， 低功耗設計并不是其中某一個流程的重點，而是貫穿整個設計流程。”王琦博士在演講中談到，“英諾達此次推出的首款EnFortius低功耗系列致力于解決芯片的低功耗設計帶來的挑戰，我們的系列工具將在功耗的評估、優化到設計檢查等方面，真正做到讓產品低功耗設計再無難事。”

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

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

英諾達副總經理熊文在演講中表示：“英諾達對行業常用的低功耗設計方法及客戶在低功耗設計檢查方面的需求有清晰的認識，EnFortius LPC這款工具可以無縫銜接到客戶現有的設計流程中，有效地為工程師們定位相關的問題，極大提高了設計的效率。此外，我們還擁有資深AE團隊，幫助客戶應對任何低功耗設計相關的挑戰和技術難題。我相信在英諾達硬件驗證云平臺的加持下，我們為客戶量身打造的解決方案可以加速客戶產品的上市時間，從而實現與客戶的共同成長。”

審核編輯：湯梓紅