基于断言的验证技术

摘要：

本文分析SoC设计验证重要性,介绍了基于断言的硬件设计功能验证技术,结合VerilogHDL等硬件描述语言与一些设计实例阐述了当前流行的设计语言开发特性描述库AccelleraStandardOVL的基本应用

关键词： 断言 验证 硬件设计 设计语言

作者: 徐煜玮 吴少俊 夏宇闻

作者单位: 北京航空航天大学电子信息工程学院,北京,100083

会议类型: 国内会议

会议名称: 全国第十届信号与信息处理、第四届DSP应用技术联合学术会议

会议地点: 安徽黄山

会议语种:中文

页码: 318-320

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）