（為功能驗證提供測試向量自動生成）

 

Synopsys公司的Vera是為模塊、子系統(tǒng)、和整個系統(tǒng)提供完整測試向量自動生成的工具。Vera 測試向量自動生成技術(shù)基于OpenVera。OpenVera是一個直觀的、高級的、面向?qū)ο蟮木幊陶Z言，它是專為滿足功能測試的特殊需求而開發(fā)出來的。

使用Vera可以在一個較高的抽象層上對測試目標(biāo)進(jìn)行快速建模。Vera可以在測試環(huán)境中創(chuàng)建具有測試向量自動生成及自檢驗功能的測試環(huán)境。這種測試環(huán)境 可以模擬出現(xiàn)實環(huán)境中施加的激勵，找出隱藏于角落中的設(shè)計錯誤。因為測試環(huán)境具有自檢驗的功能，所以無需對波形和報告做大量的人工分析，同時它還可以進(jìn)行 動態(tài)功能覆蓋率分析，及時反饋覆蓋率信息，從而可以更加有效的生成高覆蓋率的測試激勵。

• 提高覆蓋率的自動化過程，縮短了驗證時間

• 利用OpenVera(一種開源的硬件驗證語言)創(chuàng)建可擴(kuò)展的、可重用的測試向量

• 對Verilog、VHDL和SystemC設(shè)計均可以采用同樣的測試向量

• 全面的覆蓋率分析對復(fù)雜的設(shè)計提供詳細(xì)的驗證信息

• 交互式的測試生成方式令仿真更加有效

• 提供了大量的OpenVera 驗證IP，令驗證環(huán)境的創(chuàng)建和初始化更加