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

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

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

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

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

一款高效的驗(yàn)證工具，不僅可以讓客戶節(jié)省掉很大的驗(yàn)證支出，還能在激烈的市場(chǎng)競(jìng)爭(zhēng)中贏得寶貴的時(shí)間窗口。

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

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

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

服務(wù)信息安全副總經(jīng)理?xiàng)罴耀h表示：

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

芯華章科技

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

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

關(guān)于芯華章

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

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

關(guān)于TüV萊茵

德國(guó)萊茵TüV 集團(tuán)成立于1872年，是國(guó)際領(lǐng)先的檢測(cè)、檢驗(yàn)、認(rèn)證、培訓(xùn)、咨詢服務(wù)提供商，擁有2萬(wàn)多名專家員工，服務(wù)網(wǎng)絡(luò)遍布全球，致力于推動(dòng)人員、技術(shù)、環(huán)境實(shí)現(xiàn)安全、可靠、高效的互動(dòng)。

TüV萊茵的功能安全及網(wǎng)絡(luò)安全專家，均為研發(fā)出身，憑借在安全系統(tǒng)領(lǐng)域的多年研發(fā)經(jīng)驗(yàn)和對(duì)標(biāo)準(zhǔn)的精確理解以及多年網(wǎng)絡(luò)安全認(rèn)證經(jīng)驗(yàn)，獲得了行業(yè)內(nèi)的高度肯定和信任。TüV萊茵是最早在中國(guó)開(kāi)展網(wǎng)絡(luò)安全和功能安全業(yè)務(wù)的國(guó)際第三方認(rèn)證機(jī)構(gòu)之一，作為核心編委會(huì)成員參與了標(biāo)準(zhǔn)制定。

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