復雜的系統——無論是片上系統還是自動駕駛汽車——都會讓設計工程師感到沮喪，他們經過數月的艱苦工作，不得不回去驗證他們剛剛設計的系統是否真的按照他們的預期方式運行。

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

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

Foretellix 認為，當汽車 OEM 測試安全性時，類似的覆蓋驅動規則應該適用于 AV。

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

但問題是：

齊夫·賓亞米尼

有誰知道 Waymo、Uber、Cruise 和 Argo AI 等公司到底在測試什么？他們如何衡量測試結果？他們的 AV 經歷了哪些測試場景？

正如 Foretellix 的 Binyamini 所看到的那樣，當今 AV 公司之間以里程為導向的競賽——希望證明其產品的安全性——缺乏“一種可量化的方法來衡量證明自動駕駛汽車安全所需的場景已經執行了多少（覆蓋）。”

此外，他們缺乏可以“提供一種嚴格和自動化的方式來發現未知風險場景并將其變為已知的工具，”他指出。

這就是 Foretellix 看到機會的地方。Foretellix 基于在 EDA 行業長大的驗證專家團隊，正在將其專業知識遷移到 AV 世界。

例如，正如幾十年前 EDA 行業為 SoC 設計人員開發了一種稱為 SystemVerilog 的高級硬件描述和硬件驗證語言一樣，Binyamini 告訴 EE Times，Foretellix 正在為 AV 系統設計人員開發可測量的場景描述語言 (M-SDL)。

據 Foretellix 稱，目前美國和歐洲的一些汽車 OEM 正在“試用”M-SDL。Binyamini 表示，在將行業反饋整合到語言中后，目前的計劃是在夏季之后發布。他還強調，M-SDL 不是專有的。“這將在 GitHub 上公開。”

Foretellix 承諾 M-SDL 將提供測試結果的“統一指標”——無論是在模擬、測試課程還是在路上完成。“我們還在注入隨機測試，看看哪些場景還需要測試。”

覆蓋驅動驗證（來源：Foretellix）

EDA 和汽車世界的聯系

The Linley Group 的高級分析師 Mike Demler 警告說，Foretellix 并沒有為 AV 系統設計構建驗證工具。相反，它為自動駕駛汽車提出了“覆蓋分析工具和覆蓋驅動的驗證”，他指出。

Demler 承認“覆蓋驅動驗證”的概念來自 EDA，但強調“覆蓋是檢查驗證計劃的工具，但它本身并不是驗證工具。覆蓋率工具檢查您的測試臺是否覆蓋了所有可能的故障，或者是否有足夠的數量來滿足特定的簽核標準。”

因此，在 Demler 看來，Foretellix 將 M-SDL 與 SystemVerilog 進行比較是“一個很大的延伸”。他說，這看起來更像是“一個測試計劃檢查器”。

盡管如此，Foretellix 創始人的背景強烈表明，在半導體行業中根深蒂固的技術正是 Foretellix 現在正試圖為汽車行業帶來的技術。

奔騰臨

對于任何經歷過芯片設計日益復雜的時代的人來說，自動駕駛汽車中出現的設計幾乎是熟悉的。Binyamini 觀察到，“這些都是 1990 年代芯片行業已經遇到的問題。”

在英特爾開發 Pentium Pro 時，Binyamini 是 P6 項目的設計自動化工程師。因為 P6 設計是第一個 X86 超級流水線、亂序推測執行機器，所以處理器“極其復雜”。它需要新的驗證解決方案來處理這種復雜性。”

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

到 1997 年，Binyamini 加入了一家名為 Verisity 的初創公司，該公司由 VLSI 驗證領域的領先專家 Yoav Hollander 于 1995 年創立。Verisity 被稱為世界上最早的驗證公司之一，其任務是提供基于覆蓋驅動方法的 VLSI 驗證工具套件。

Verisity 告訴半導體行業，覆蓋驅動的驗證“是處理芯片設計復雜性的唯一方法”。在 Verisity，Hollander 創建了“e”驗證語言，該語言后來成為標準 (IEEE 1647)。