期刊文章详细信息
基于断言的验证方法在UART模块中的应用研究
Research of Assertion-Based Verification Method on UART
文献类型：期刊文章
机构地区：[1]北京工业大学集成电路与系统实验室,北京100124
年 份：2010
卷 号：27
期 号：1
起止页码：151-153
语 种：中文
收录情况：BDHX、BDHX2008、CSCD、CSCD_E2011_2012、JST、ZGKJHX、核心刊
摘 要：介绍了一种易于实现的基于断言的验证(ABV)方法,即经过5个步骤在设计文件中插入断言,使仿真器在仿真过程中监视设计中的关键功能点.该方法在UART的寄存器传输级(RTL)模型功能验证中的应用,实验中使用SVA描述设计属性.实验证明,这一方法提高了设计的可观察性,适用于数字集成电路功能验证.
关 键 词：可观察性 基于断言的验证 SVA UART
分 类 号：TN4]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
