為汽車芯片安全加碼 芯華章穹瀚GalaxFV獲ISO 26262國際標(biāo)準(zhǔn)認(rèn)證

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

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

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

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

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

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

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

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

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

服務(wù)信息安全副總經(jīng)理楊家玥表示：

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

芯華章科技

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

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