??近日，國際權威的獨立第三方檢測和認證機構德國萊茵TüV集團，正式授予芯華章形式驗證工具穹瀚GalaxFV ISO 26262 TCL3功能安全認證。

繼芯華章邏輯仿真工具穹鼎GalaxSim之后，芯華章又一系統(tǒng)級EDA驗證工具，能夠?支持汽車安全標準中最高級別ASIL D級的芯片開發(fā)驗證。這意味著汽車客戶能夠借助GalaxFV，加速其對于整車安全極為重要的復雜系統(tǒng)級芯片開發(fā)和驗證，以符合ISO 26262標準的安全性和系統(tǒng)性要求。

據了解，ISO 26262是全球公認的汽車功能安全標準，覆蓋汽車半導體全生命周期，因此成為車規(guī)電子可以用于量產上車的必要條件。其中，TCL3代表最高的可信度要求。

它要求工具在設計、驗證和維護過程中必須遵循嚴格的開發(fā)流程和質量標準。穹瀚GalaxFV在經過一系列復雜的評估和測試后，證明了其在汽車關鍵芯片開發(fā)方面已經具備可信賴的支持能力。

日益增長的汽車功能安全需求和愈發(fā)復雜的車規(guī)級芯片設計對驗證自動化提出了更高的需求。同時，半導體公司需要向汽車客戶提供通過ISO 26262認證的產品，這預計將導致驗證工作量增加2到3倍。

一款高效的驗證工具，不僅可以讓客戶節(jié)省掉很大的驗證支出，還能在激烈的市場競爭中贏得寶貴的時間窗口。

穹瀚GalaxFV采用字級建模技術，能夠精確地表示和操作大型數據結構。這種建模方法在處理復雜的大芯片設計時，能夠有效減少客戶設計模型的復雜程度，從而加快驗證速度。同時高度并發(fā)的驗證引擎，支持利用更多計算資源并發(fā)求解，也保證了驗證更快收斂，縮短驗證周期。因此，借助芯華章形式化驗證高效引擎，穹瀚GalaxFV 能夠系統(tǒng)地探索設計的所有可能狀態(tài)，達到更高的驗證覆蓋率。

結合上面這些技術特點，穹瀚GalaxFV在多家客戶設計流程中給出了亮眼的性能表現，相比于現有的形式化驗證工具，實測性能超越20%至100%，幫助汽車芯片設計者能夠在早期階段就識別和解決潛在的安全問題，從而降低整體開發(fā)風險，加速產品的上市進程。同時，GalaxFV也針對RISC-V處理器驗證、代碼可達性驗證等領域提供垂直應用，為用戶提供更完整的驗證方案。

德國萊茵TüV工業(yè)

服務信息安全副總經理楊家玥表示：

“在汽車行業(yè)向電動化、智能化和網絡化的快速發(fā)展中，對汽車芯片的安全性和可靠性要求越來越高。我們認為，芯華章穹瀚GalaxFV的高效性能和驗證精確度，可以為滿足日益增長的汽車電子系統(tǒng)安全需求提供有力支持。”

芯華章科技

資深產品與業(yè)務規(guī)劃總監(jiān)楊曄表示：

“我們一直致力于將最高標準的國際安全規(guī)范融入產品設計。穹瀚GalaxFV的成功認證是我們在汽車電子領域不懈努力的成果。未來，芯華章將繼續(xù)攜手行業(yè)伙伴，推動汽車芯片設計邁向更高安全標準，成為汽車制造商和供應商值得信賴的安全開發(fā)伙伴。”

關于芯華章

芯華章作為國內數字芯片EDA驗證全流程解決方案提供商，也是率先在汽車電子做垂直行業(yè)布局的中國EDA 公司。芯華章打造了從芯片到系統(tǒng)的敏捷驗證工具鏈，已發(fā)布十數款基于平臺化、智能化、云化底層構架的商用級驗證產品，完整地覆蓋了數字芯片原型驗證、場景驗證、形式驗證、邏輯仿真、系統(tǒng)調試等功能，擁有超180件自主研發(fā)專利申請。

聚焦車規(guī)服務領域，芯華章成立汽車解決方案專家團隊，構建芯片公司、Tier1、主機廠之間的無縫溝通橋梁，致力于讓現款車用上下一代芯片。公司與國家新能源汽車技術創(chuàng)新中心、中汽中心等汽車產業(yè)生態(tài)伙伴合作，加速完善系統(tǒng)及驗證產品在汽車電子領域的應用，并于2023年戰(zhàn)略投資海外汽車電子解決方案企業(yè)Optima，為客戶提供更加靈活、高效的車規(guī)級設計驗證與咨詢服務。

關于TüV萊茵

德國萊茵TüV 集團成立于1872年，是國際領先的檢測、檢驗、認證、培訓、咨詢服務提供商，擁有2萬多名專家員工，服務網絡遍布全球，致力于推動人員、技術、環(huán)境實現安全、可靠、高效的互動。

TüV萊茵的功能安全及網絡安全專家，均為研發(fā)出身，憑借在安全系統(tǒng)領域的多年研發(fā)經驗和對標準的精確理解以及多年網絡安全認證經驗，獲得了行業(yè)內的高度肯定和信任。TüV萊茵是最早在中國開展網絡安全和功能安全業(yè)務的國際第三方認證機構之一，作為核心編委會成員參與了標準制定。

TüV萊茵一直是汽車檢測認證領域的領導者，可為整車廠和零部件供應商提供一站式解決方案。在汽車功能安全和網絡安全領域，TüV萊茵提供的服務涵蓋ISO/SAE 21434、ISO 26262、Automotive SPICE、GDPR，滲透測試等，滿足企業(yè)“全面安全”的需要。