為了將其VCS Verilog仿真器升級成為更完整的驗證環境，Synopsys公司宣布推出新增了測試平臺功能的VCS，該產品同時還兼具Synopsys Vera產品的特性。

此次新發布的VCS增加了約束求解器引擎、內建了流發生器、高級數據類型和面向對象的編程方法，同時還新增了聲明庫和聲明作用域功能，從而使該產品的仿真速度增加了5倍。

Synopsys仍將繼續支持和改進獨立的Vera測試平臺開發產品，以便為僅使用仿真器的客戶服務。而使用VCS的客戶已不再需要獨立的Vera產品，因為Vera產品的功能已被合并到VCS之中。

新的VCS采用了與Vera相同的約束求解器。在Vera中，采用多個求解器引擎同時分析用戶定義的約束，以產生隨機激勵源。內建的流發生器可生成事務或指令的隨機組合。動態和關聯數組等高級數據類型可提高測試平臺的編碼效率。面向對象的編程方法也有助于生成可重復利用的測試平臺。

（轉自 電子工程專輯）