基于断言的验证(ABV)技术
ABV(Assertion Based Verification:基于断言的验证)是以断言为关键要素、确保设计符合规格的验证方法.ABV对于提升验证生产力、确保设计质量、改善验证结果的可预测性带来重大的创新以及革命性的进步.透过自动断言检查、预定义和业已开发成功的完善的设计检查库以及总线监视器技术,Mentor Graphics公司的解决方案可以很方便地将ABV融入现有设计流程中.断言综合技术也让ABV的优势在整个验证过程得到充分发挥.
集成电路 ABV技术 验证流程
肖跃龙
奥肯思科技有限公司 北京 100045
国内会议
桂林
中文
379-381
2006-08-01（万方平台首次上网日期，不代表论文的发表时间）