基于断言的验证方法在UART模块中的应用研究

被引：7

作者：

李洋洋

吴武臣

王龙伟

王宁

侯立刚

机构：

[1] 北京工业大学集成电路与系统实验室

来源：

关键词：

可观察性; 基于断言的验证; SVA; UART;

D O I：

10.19304/j.cnki.issn1000-7180.2010.01.040

中图分类号：

TN402 [设计];

学科分类号：

摘要：

介绍了一种易于实现的基于断言的验证(ABV)方法,即经过5个步骤在设计文件中插入断言,使仿真器在仿真过程中监视设计中的关键功能点.该方法在UART的寄存器传输级(RTL)模型功能验证中的应用,实验中使用SVA描述设计属性.实验证明,这一方法提高了设计的可观察性,适用于数字集成电路功能验证.

引用

页码：151 / 153+157 +157

页数：4