节点文献
基于断言的验证技术
【机构】 北京航空航天大学电子信息工程学院；
【摘要】 本文分析SoC设计验证重要性,介绍了基于断言的硬件设计功能验证技术,结合Verilog HDL等硬件描述语言与一些设计实例阐述了当前流行的设计语言开发特性描述库Accellera Standard OVL的基本应用
【Abstract】 This paper analyse the Importance of verification in SoC design and introduces the ABV(Assertion-based verification) technology, expatiate on the basic use of Accellera Standard library OVL with Verilog HDL
- 【会议录名称】 全国第十届信号与信息处理、第四届DSP应用技术联合学术会议论文集
- 【会议名称】全国第十届信号与信息处理、第四届DSP应用技术联合学术会议
- 【会议时间】2006-10
- 【会议地点】中国安徽黄山
- 【分类号】TN407
- 【主办单位】中国航空学会信号与信息处理专业分会、中国电子学会DSP应用专家委员会