首页 下载 行业 电信 下载详情 基于断言的SoC设计验证方法 上传:RayZy52227 浏览: 41 推荐: 0 文件:PDF 大小:176.53KB 上传时间:2019-07-23 22:59:49 版权申诉 本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率。 立即下载 上传资源 微信扫一扫 用户评论 提交评论