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

此次新發(fā)布的VCS增加了約束求解器引擎、內(nèi)建了流發(fā)生器、高級數(shù)據(jù)類型和面向?qū)ο蟮木幊谭椒�，同時還新增了聲明庫和聲明作用域功能，從而使該產(chǎn)品的仿真速度增加了5倍。

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

新的VCS采用了與Vera相同的約束求解器。在Vera中，采用多個求解器引擎同時分析用戶定義的約束，以產(chǎn)生隨機激勵源。內(nèi)建的流發(fā)生器可生成事務(wù)或指令的隨機組合。動態(tài)和關(guān)聯(lián)數(shù)組等高級數(shù)據(jù)類型可提高測試平臺的編碼效率。面向?qū)ο蟮木幊谭椒ㄒ灿兄谏煽芍貜?fù)利用的測試平臺。

（轉(zhuǎn)自 電子工程專輯）