為了顯著加快驗證速度，處理每天都會變化的復雜算法，很多公司轉向采用 High-Level Synthesis （HLS） 方法。但是，要利用在更高抽象度開展設計帶來的相關性能改進，采用 C++ 或 SystemC 編寫的高層次模型不僅要求正確無誤，還要進行面積和性能優化，這一點極其重要。C++ 仿真作為一種快速的非時序仿真，是驗證高層次模型是否具備正確功能的理想選擇。但是，此仿真僅在驗證平臺準備就緒后方可進行。此外，C++ 語言具有歧義性，在仿真過程中很難發現。即使代碼編寫正確，高層次模型的代碼編寫方式也可能不太理想，導致綜合之后硬件達不到預期。問題可能在 C++ 仿真中出現，或者導致此仿真與 RTL 仿真之間的仿真不匹配。也可能完全無法檢測出問題（圖 1）。

　　圖 1：編碼問題、達不到預期的硬件或未檢測到的問題都有可能

　　C++ 模型的這些缺陷中，一些可以被靜態軟件分析工具指出，但這些工具本身是通用型軟件，不能理解模型的硬件意圖。

　　雖然對 C++ 源代碼運行語法檢查器等軟件檢查工具的想法很有誘惑力，但這些工具并不理解硬件。團隊可運行這些工具獲得結果，但這些結果并不準確，而且可能誤導設計人員以為代碼中沒有任何問題，這將會給綜合和 RTL 仿真造成不利的影響。或者相反，他們可能會看到成百上千條實際沒有問題的違例項。軟件檢查工具存在的一些硬件感知的問題包括：

　　■ 僅適用于 C++ 代碼，而不支持 SystemC

　　■ 不理解比特精確數據類型

　　■ 僅采用靜態分析，可能生成許多誤報

　　■ 不理解某些代碼可能生成不太理想或錯誤的硬件

　　■ 不能生成反例驗證平臺

　　設計和驗證團隊真正需要的是一種能夠在綜合至 RTL 之前，快速、輕松地找出編碼錯誤和不太理想的代碼的工具。團隊還需要避免 C++ 和 RTL 仿真之間的仿真不匹配（圖 2）。