文件名称:基于断言的SoC设计验证方法
文件大小:177KB
文件格式:PDF
更新时间:2015-04-02 02:03:25
断言 SVA 验证 OVA
本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率。
文件名称:基于断言的SoC设计验证方法
文件大小:177KB
文件格式:PDF
更新时间:2015-04-02 02:03:25
断言 SVA 验证 OVA
本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率。