讓高精尖技術(shù)真正實現(xiàn)自主可控化，“十四五” 期間我國集成電路要有“芯”發(fā)展。記者昨天從上海弗摩電子科技有限公司獲悉，由其自主研發(fā)的庫產(chǎn)品PNFlib及仿真驗證調(diào)試工具PNDebug正式發(fā)布，打破了歐美在這領(lǐng)域的壟斷，為我國集成電路產(chǎn)業(yè)的發(fā)展提供有力的底層支撐。

　　《上海市先進制造業(yè)發(fā)展“十四五”規(guī)劃》提出，在集成電路方面，以自主創(chuàng)新、規(guī)模發(fā)展為重點，提升芯片設(shè)計、制造封測、裝備材料全產(chǎn)業(yè)鏈能級。《規(guī)劃》提出，在芯片設(shè)計領(lǐng)域，推動骨干企業(yè)芯片設(shè)計能力進入3納米及以下，打造國家級電子設(shè)計自動化(EDA)平臺，支持新型指令集、關(guān)鍵核心IP等形成市場競爭力。

　　在當(dāng)前的發(fā)展形勢下，國內(nèi)集成電路領(lǐng)域的工作重點是致力于突破智能芯片、算法模型、文本編輯技術(shù)等關(guān)鍵核心技術(shù)的“卡脖子”問題。目前上海從事集成電路的企業(yè)高達700余家，其中上海弗摩電子科技有限公司是一家操作系統(tǒng)應(yīng)用及集成電路設(shè)計自動化軟件供應(yīng)商，公司團隊均由來自芯片設(shè)計、算法軟件和系統(tǒng)開發(fā)的資深工程師組成，致力于操作系統(tǒng)應(yīng)用軟件研發(fā)及集成電路設(shè)計自動化軟件研發(fā)和咨詢服務(wù)，產(chǎn)品線分別為集成電路設(shè)計自動化軟件研發(fā)和操作系統(tǒng)應(yīng)用軟件開發(fā)。

　　在集成電路設(shè)計自動化軟件方面，弗摩電子正式發(fā)布了一套形式驗證解決方案的庫產(chǎn)品PNFlib及仿真驗證調(diào)試工具PNDebug(EDA仿真驗證調(diào)試工具)。目前PNFlib該系列形式驗證解決方案庫已經(jīng)經(jīng)過內(nèi)部測試和多個大型IC公司項目實測，PNFlib庫的性能和易用性相比于業(yè)內(nèi)所有同類的產(chǎn)品，擁有多個獨特的業(yè)內(nèi)唯一的高效率的庫和形式驗證方案，能夠從數(shù)學(xué)上完備地證明“電路的實現(xiàn)方案是否滿足了設(shè)計規(guī)范所描述的功能”。

　　記者了解到，PNFlib新一代形式化驗證解決方案可驗證某些最艱巨的 SoC 設(shè)計挑戰(zhàn)，它包括值注釋、原理圖查看、源代碼瀏覽和分析報告速度分析，涵蓋了整個形式驗證領(lǐng)域的大部分典型設(shè)計案例和常規(guī)應(yīng)用流程。

　　PNDebug電子設(shè)計自動化軟件工具可以有效解決芯片在設(shè)計、建模、模擬、驗證等一系列工作，減少芯片設(shè)計在物理模擬驗證和重復(fù)修復(fù)之間的bug，減少企業(yè)人工投入、縮短芯片驗證周期，為系統(tǒng)驗證和軟件開發(fā)提供大容量、高性能、自動實現(xiàn)、可調(diào)試、高可用的新一代智能設(shè)計自動化系統(tǒng)，成為我國自主研發(fā)集成電路產(chǎn)業(yè)生態(tài)的重要部分。

　　在操作系統(tǒng)應(yīng)用軟件方面，弗摩電子已經(jīng)發(fā)布了一站式的文件處理平臺PNFile以及文本編輯器PNEdit，該工具軟件正在當(dāng)前市面上的主流操作系統(tǒng)上做配套測試及投入使用。這些高質(zhì)量集成電路設(shè)計自動化軟件和操作系統(tǒng)應(yīng)用軟件及解決方案，將加速中國集成電路產(chǎn)業(yè)生態(tài)的發(fā)展。(記者 張鈺蕓)