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

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

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

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

“低功耗會(huì)影響到芯片設(shè)計(jì)的各個(gè)方面，從系統(tǒng)設(shè)計(jì)、RTL設(shè)計(jì)到最后的物理實(shí)現(xiàn)， 低功耗設(shè)計(jì)并不是其中某一個(gè)流程的重點(diǎn)，而是貫穿整個(gè)設(shè)計(jì)流程。”王琦博士在演講中談到，“英諾達(dá)此次推出的首款EnFortius低功耗系列致力于解決芯片的低功耗設(shè)計(jì)帶來(lái)的挑戰(zhàn)，我們的系列工具將在功耗的評(píng)估、優(yōu)化到設(shè)計(jì)檢查等方面，真正做到讓產(chǎn)品低功耗設(shè)計(jì)再無(wú)難事。”

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

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

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

審核編輯：湯梓紅