復(fù)雜的系統(tǒng)——無論是片上系統(tǒng)還是自動(dòng)駕駛汽車——都會(huì)讓設(shè)計(jì)工程師感到沮喪，他們經(jīng)過數(shù)月的艱苦工作，不得不回去驗(yàn)證他們剛剛設(shè)計(jì)的系統(tǒng)是否真的按照他們的預(yù)期方式運(yùn)行。

SoC 和自動(dòng)駕駛汽車 (AV) 都內(nèi)置在一個(gè)“黑匣子”中，從本質(zhì)上講，這使得很難找到“隱藏在你沒有想到的地方”的錯(cuò)誤，a 首席執(zhí)行官兼聯(lián)合創(chuàng)始人 Ziv Binyamini 說。位于特拉維夫的初創(chuàng)公司 Foretellix。

在測(cè)試和驗(yàn)證 SoC 時(shí)，有兩個(gè)措施被認(rèn)為是必不可少的：“代碼覆蓋率”，它說明代碼通過激勵(lì)測(cè)試的效果，以及“功能覆蓋率”，一種讓用戶編寫某些儀器邏輯來監(jiān)控刺激涵蓋各種功能。

Foretellix 認(rèn)為，當(dāng)汽車 OEM 測(cè)試安全性時(shí)，類似的覆蓋驅(qū)動(dòng)規(guī)則應(yīng)該適用于 AV。

今天，來自科技公司和原始設(shè)備制造商的車輛在模擬、測(cè)試軌道和公共道路上進(jìn)行了數(shù)百萬英里的測(cè)試。例如，上個(gè)月，Waymo 宣布該公司已經(jīng)行駛了超過 1000 萬英里的街道里程和大約 100 億英里的模擬里程。

但問題是：

齊夫·賓亞米尼

有誰知道 Waymo、Uber、Cruise 和 Argo AI 等公司到底在測(cè)試什么？他們?nèi)绾魏饬繙y(cè)試結(jié)果？他們的 AV 經(jīng)歷了哪些測(cè)試場(chǎng)景？

正如 Foretellix 的 Binyamini 所看到的那樣，當(dāng)今 AV 公司之間以里程為導(dǎo)向的競(jìng)賽——希望證明其產(chǎn)品的安全性——缺乏“一種可量化的方法來衡量證明自動(dòng)駕駛汽車安全所需的場(chǎng)景已經(jīng)執(zhí)行了多少（覆蓋）?！?/p>

此外，他們?nèi)狈梢浴疤峁┮环N嚴(yán)格和自動(dòng)化的方式來發(fā)現(xiàn)未知風(fēng)險(xiǎn)場(chǎng)景并將其變?yōu)橐阎墓ぞ?，”他指出?/p>

這就是 Foretellix 看到機(jī)會(huì)的地方。Foretellix 基于在 EDA 行業(yè)長(zhǎng)大的驗(yàn)證專家團(tuán)隊(duì)，正在將其專業(yè)知識(shí)遷移到 AV 世界。

例如，正如幾十年前 EDA 行業(yè)為 SoC 設(shè)計(jì)人員開發(fā)了一種稱為 SystemVerilog 的高級(jí)硬件描述和硬件驗(yàn)證語言一樣，Binyamini 告訴 EE Times，F(xiàn)oretellix 正在為 AV 系統(tǒng)設(shè)計(jì)人員開發(fā)可測(cè)量的場(chǎng)景描述語言 (M-SDL)。

據(jù) Foretellix 稱，目前美國和歐洲的一些汽車 OEM 正在“試用”M-SDL。Binyamini 表示，在將行業(yè)反饋整合到語言中后，目前的計(jì)劃是在夏季之后發(fā)布。他還強(qiáng)調(diào)，M-SDL 不是專有的。“這將在 GitHub 上公開?！?/p>

Foretellix 承諾 M-SDL 將提供測(cè)試結(jié)果的“統(tǒng)一指標(biāo)”——無論是在模擬、測(cè)試課程還是在路上完成?！拔覀冞€在注入隨機(jī)測(cè)試，看看哪些場(chǎng)景還需要測(cè)試。”

覆蓋驅(qū)動(dòng)驗(yàn)證（來源：Foretellix）

EDA 和汽車世界的聯(lián)系

The Linley Group 的高級(jí)分析師 Mike Demler 警告說，F(xiàn)oretellix 并沒有為 AV 系統(tǒng)設(shè)計(jì)構(gòu)建驗(yàn)證工具。相反，它為自動(dòng)駕駛汽車提出了“覆蓋分析工具和覆蓋驅(qū)動(dòng)的驗(yàn)證”，他指出。

Demler 承認(rèn)“覆蓋驅(qū)動(dòng)驗(yàn)證”的概念來自 EDA，但強(qiáng)調(diào)“覆蓋是檢查驗(yàn)證計(jì)劃的工具，但它本身并不是驗(yàn)證工具。覆蓋率工具檢查您的測(cè)試臺(tái)是否覆蓋了所有可能的故障，或者是否有足夠的數(shù)量來滿足特定的簽核標(biāo)準(zhǔn)?！?/p>

因此，在 Demler 看來，F(xiàn)oretellix 將 M-SDL 與 SystemVerilog 進(jìn)行比較是“一個(gè)很大的延伸”。他說，這看起來更像是“一個(gè)測(cè)試計(jì)劃檢查器”。

盡管如此，F(xiàn)oretellix 創(chuàng)始人的背景強(qiáng)烈表明，在半導(dǎo)體行業(yè)中根深蒂固的技術(shù)正是 Foretellix 現(xiàn)在正試圖為汽車行業(yè)帶來的技術(shù)。

奔騰臨

對(duì)于任何經(jīng)歷過芯片設(shè)計(jì)日益復(fù)雜的時(shí)代的人來說，自動(dòng)駕駛汽車中出現(xiàn)的設(shè)計(jì)幾乎是熟悉的。Binyamini 觀察到，“這些都是 1990 年代芯片行業(yè)已經(jīng)遇到的問題?！?/p>

在英特爾開發(fā) Pentium Pro 時(shí)，Binyamini 是 P6 項(xiàng)目的設(shè)計(jì)自動(dòng)化工程師。因?yàn)?P6 設(shè)計(jì)是第一個(gè) X86 超級(jí)流水線、亂序推測(cè)執(zhí)行機(jī)器，所以處理器“極其復(fù)雜”。它需要新的驗(yàn)證解決方案來處理這種復(fù)雜性?！?/p>

在 P6 發(fā)布之前，英特爾面臨著“奔騰漏洞”危機(jī)，這是英特爾早期處理器中的浮點(diǎn)缺陷。該漏洞由林奇伯格學(xué)院的一位教授于 1994 年發(fā)現(xiàn)，EE Times 報(bào)道了該漏洞。到 1994 年 12 月，英特爾以近 10 億美元的成本召回了有缺陷的處理器。這一事件使電子行業(yè)意識(shí)到幾乎不可能找到復(fù)雜處理器中的所有錯(cuò)誤和問題。

到 1997 年，Binyamini 加入了一家名為 Verisity 的初創(chuàng)公司，該公司由 VLSI 驗(yàn)證領(lǐng)域的領(lǐng)先專家 Yoav Hollander 于 1995 年創(chuàng)立。Verisity 被稱為世界上最早的驗(yàn)證公司之一，其任務(wù)是提供基于覆蓋驅(qū)動(dòng)方法的 VLSI 驗(yàn)證工具套件。

Verisity 告訴半導(dǎo)體行業(yè)，覆蓋驅(qū)動(dòng)的驗(yàn)證“是處理芯片設(shè)計(jì)復(fù)雜性的唯一方法”。在 Verisity，Hollander 創(chuàng)建了“e”驗(yàn)證語言，該語言后來成為標(biāo)準(zhǔn) (IEEE 1647)。