宙斯黄

摘要： 2000年, Verisity Design（现在的Cadence Design System公司）引进了Verification Advisor（vAdvisor）采用了e语言，包含了激励的产生，自动比对的策略，覆盖率模型。e语言是面向对象语言，这是业界开始使用面向对象语言 进行测试平台的建立。2002年，Verisity公司公布了第一个验证库——e可重用方法学（eRM）。2003年，Synopsys公司公布了可重用验证方法学库（RVM），这个方法学采用了Synopsys公司的vera语言。2006年，Mentor公司公布了高级验证方法学（AVM）。这个方法学主要是采用了OSCI Syste 阅读全文