（为功能验证提供测试向量自动生成）
Synopsys公司的Vera是为模块、子系统、和整个系统提供完整测试向量自动生成的工具。Vera 测试向量自动生成技术基于OpenVera。OpenVera是一个直观的、高级的、面向对象的编程语言，它是专为满足功能测试的特殊需求而开发出来的。
使用Vera可以在一个较高的抽象层上对测试目标进行快速建模。Vera可以在测试环境中创建具有测试向量自动生成及自检验功能的测试环境。这种测试环境 可以模拟出现实环境中施加的激励，找出隐藏于角落中的设计错误。因为测试环境具有自检验的功能，所以无需对波形和报告做大量的人工分析，同时它还可以进行 动态功能覆盖率分析，及时反馈覆盖率信息，从而可以更加有效的生成高覆盖率的测试激励。
- 提高覆盖率的自动化过程，缩短了验证时间
- 利用OpenVera(一种开源的硬件验证语言)创建可扩展的、可重用的测试向量
- 对Verilog、VHDL和SystemC设计均可以采用同样的测试向量
- 全面的覆盖率分析对复杂的设计提供详细的验证信息
- 交互式的测试生成方式令仿真更加有效
- 提供了大量的OpenVera 验证IP，令验证环境的创建和初始化更加
