(转载)验证方法学的历史及比较
摘要：
2000年, Verisity Design（现在的Cadence Design System公司）引进了Verification Advisor（vAdvisor）采用了e语言，包含了激励的产生，自动比对的策略，覆盖率模型。e语言是面向对象语言，这是业界开始使用面向对象语言进行测试平台的建立。20... 阅读全文
posted @ 2015-11-22 23:28 dpc525 阅读(685) 评论(0) 推荐(0) 编辑
