先來看一段對驗證的介紹：

如果驗證計劃做得足夠好，那為什么還總會出現質量問題和項目延期？說白了，驗證工作需要做到以終為始。一個好的驗證計劃應該具備詳細描述的可量化目標，同時做到資源的優(yōu)化使用和對實際情況的預估。

這段話給人一種最近剛寫出來的錯覺，但實際上卻引用自 2005 年 Cadence 刊登在 EETimes 上的一篇文章。正如 Alphonse Karr 在 Les Guêpes 期間所說，“萬變不離其宗”。

話雖如此，但驗證領域的確發(fā)生了很多變化。2005 年時還沒有可移植激勵標準（PSS，portable stimulus standard），形式化驗證也尚處于起步階段。如果想做硬件仿真，設計初啟就要花費幾個月時間。要是想用 FPGA 原型設計，首先得買些 FPGA。那時候的 RTL 仿真和現在一樣，承擔著驗證的主力工作。實際上，驗證工程師的工作主要包括手動啟動仿真，隨之分析結果。但彼時已經出現了更好的方法，即 Cadence 2005 年收購 Verisity 后發(fā)布的初版 vManager，雖然那時還僅支持單一用戶。

從 2005 年，或者更準確的說，從 1985 年開始，一個確實發(fā)生的變化就是設計規(guī)模的持續(xù)增加。筆者寫這篇文章的清晨，NVIDIA CEO Jensen Huang 在自家廚房發(fā)布了容納 540 億個晶體管的最新款 AI 芯片。更大的芯片不僅意味著驗證引擎需要不斷提升處理更大設計的能力，也意味著統(tǒng)籌整個驗證流程的工具也必須水漲船高。Cadence vManager 驗證管理平臺已經從最初單用戶演進到如今對跨國企業(yè)所有用戶的支持。

多引擎部署

可以用物流公司來做個比喻。一家物流公司需要貨車和飛機，運輸工具的性能固然重要，但其部署和調運方式同樣關鍵。飛機并不會一定比貨車好 ，兩者用途不同且優(yōu)勢互補。同樣的道理，形式化驗證并不一定比仿真或者模擬更好，它們也是互為補充的關系。vManager 平臺決定了這些引擎的部署方式，是驗證流程的核心。在某種意義上講，其對引擎的驅動方式和引擎本身同樣重要，是第四引擎。

驗證引擎相信大家都很熟悉，我就不再贅言。

vManager

如之前所說，vManager 平臺最初是為單一地點，單一團隊提供支持而開發(fā)?，F在的公司運行方式已和當初大不相同。多個處于不同設計階段的項目同時運行，設計團隊分布在全球各地，很多驗證都在大型服務器陣列或云端完成。從單一用戶至今的 15 年中，vManager 平臺經歷了多次變革，本篇不做詳述，直接來了解一下當前的 vManager。

今天，vManager 平臺的高可用性版本已經被企業(yè)用于多項目并行管理，如上圖所示。

同時 vManager 支持不同地區(qū)工作團隊常見的服務器或網絡故障等分布式問題的處理，確保關鍵數據的同步性，并保持足夠的本地化來維持高性能，且進一步擴展至云端任務管理。vManager 的這些特性讓其真正成為了企業(yè)級解決方案。

與啟動 Xcelium 仿真相比，任務執(zhí)行需要做的事情更多：

回歸準備

請求服務器場資源

啟動主機

數據加載

執(zhí)行任務

數據存儲

生成報告

故障分類

設計 / 修復測試

vManager 平臺將上述工作全部自動化。列出的內容背后還有很多細節(jié)，比如在請求服務器陣列資源中，任務排隊等候可用資源通常會占用超過 1 / 3 的驗證時間。更糟的是，運行時間最長的任務也有最久的延遲（因為它們需要用占用更多資源，屬于供應短缺對象）。成本和運行時間也與服務器不同配置相關，導致驗證任務在復雜驗證環(huán)境下的分配優(yōu)化也比以往更加繁瑣。

驗證效率

vManager 平臺是驗證計劃的核心。原因就如本文開頭的引言：“一個好的開發(fā)計劃應該具備詳細描述的可量化目標?！被氐?2005 年，vManager 平臺還只是一個單用戶工具，但也已經比其他產品要領先很多，因為那些表格和腳本可能都稱不上是一款產品。今天，隨著企業(yè)級版本的應用，驗證計劃可以跨區(qū)域，跨計算和技術平臺運行，且擁有高可用性。

vManager 平臺的第二個企業(yè)級特性是將驗證與 DOORS（來自IBM），REQTIFY（來自 Dassault）或 Jama 等需求管理系統(tǒng)連接，這對汽車、航空航天和國防領域非常重要。而對大型項目來說，這項特性可以更好地實現全系統(tǒng)的需求捕捉和追溯。vManager 平臺通過這些連接，將特定功能的驗證與需求綁定并反饋。

總結

隨著 SoC 設計更加復雜，功能更多，SoC 的驗證越發(fā)具有挑戰(zhàn)性。雪上加霜的是，如今產品上市時間從以前的數年計縮短到數月計，對測試工作造成了更大的壓力。為了解決大規(guī)模 SoC 驗證的挑戰(zhàn)，一個功能全面、集中化、可擴展且足夠靈活的解決方案不可或缺。這個解決方案就是vManager 平臺。

這也是許多頭部半導體企業(yè)選擇 vManager 平臺作為其驗證規(guī)劃解決方案的主要原因。

原文標題：vManager：驗證之核心

文章出處：【微信公眾號：Cadence楷登】歡迎添加關注！文章轉載請注明出處。