vera
vera验证系统满足了验证的需要,允许高效、智能、高层次的功能验证。vera验证系统已被sun、nec、cisco等公司广泛使用以验证其实际的产品,从单片asic到多片asic组成的计算机和网络系统,从定制、半定制电路到高复杂度的微处理器。vera验证系统的基本思想是产生灵活的并能自我检查的测试向量,然后将其结合到test-bench中以尽可能充分测试所设计的电路。vera验证系统适用于功能验证的各个层次,它具有以下特点:与设计环境的紧密集成、
启发式及全随机测试、数据及协议建模、功能代码覆盖率分析。