8.13现代集成电路验证技术
功能验证已经成为当前芯片和系统设计中的一个重要挑战.通过一个简单的验证过程介绍当前功能验证的主要技术,这里主要介绍黑盒子、白盒子、灰盒子方法,它们的优缺点以及适用的环境.通过具体分析当前的验证环境,来分析验证过程的瓶颈所在,主要的问题是:时间和资源的有限性；缺乏确定的表达规范和设计目的方法；功能覆盖不完整；时验证环境的变化缺乏应对性等。从根本上了解问题存在的原因,也就可以进一步地了解功能验证的重要性。根据验证存在的问题,介绍几种新出现的验证技术,比方基于协议的验证,基于断言的验证,以及验证组件的复用,这些都可以较好的解决我们当前的验证问题。
现代集成电路 功能验证 功能覆盖率 协议验证 组件复用
王菲 刘杰
北京航空航天大学学生处,北京,100083
国内会议
全国第十一届信号与信息处理、第五届DSP应用技术联合学术会议
南昌
中文
342-345
2007-10-21（万方平台首次上网日期，不代表论文的发表时间）