使用先進技術來加速SoC驗證

　　摘要：近年來，由于設計復雜度的增長，對于驗證提出了更高的要求。驗證環境變得越來越大，越來越復雜，設計和驗證的雙重壓力導致仿真變得越來越慢。所有驗證/仿真的速度已經成為當前SOC設計進程中的重大挑戰。

　　在我們的項目中，我們使用Synopsys的驗證flow以及近年來Synopsys提供的新的方法/工具，比如性能分析工具來分析仿真瓶頸，使用分塊編譯來加速編譯，使用并行多核技術來加速編譯/運行。使用UVM來增加環境的可復用性，等等，這些技術/特性的引入都大幅度加速了我們的仿真速度并減少了仿真時間。

　　項目以及驗證環境介紹

　　我們的項目是GPU的項目，對于仿真性能有較高的要求，所以在項目中希望使用盡可能多的新技術來縮短仿真時間以及加速驗證。

　　我們的驗證環境使用UVM標準庫來搭建的。驗證環境如圖1所示。

　　使用了Synopsys公司的VCS來作為我們的仿真工具。

　　工具版本：VCS 2012.09-SP1，Verdi 2013.04

　　硬件環境如表1所示。

　　加速編譯的方法

　　隨著電路規模的不斷變大，編譯時間也成為了仿真過程中重要因素，如何加快/重用編譯數據庫，是加速整個仿真過程不可缺少的部分。VCS提供了很多好的技術來加速編譯過程。

　　并行編譯

　　當前基本上我們的服務器都能提供多核支持，并行編譯選項可以使用服務器的多核來提供更快的并行處理，來快速編譯生成數據庫。VCS并行編譯的選項如下：
　　-j[no_of_processes]
　　比如 vcs –j4 …,注意no_of_processes的數目不要超過實際可以提供的物理核數目。