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

• 作者: 侯立刚 吴武臣 李洋洋 王宁 王龙伟
• 来源期刊: 微电子学与计算机
• 关键词: 可观察性 基于断言的验证 SVA UART
• 年，卷（期）: 2010,（1）
• 页码范围: 151-153,157
• 页数: 4页
• 分类号: TN4
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王宁	北京工业大学集成电路与系统实验室	46	614	16.0	23.0
2	吴武臣	北京工业大学集成电路与系统实验室	54	459	12.0	18.0
3	侯立刚	北京工业大学集成电路与系统实验室	75	360	11.0	15.0
4	王龙伟	北京工业大学集成电路与系统实验室	2	16	1.0	2.0
5	李洋洋	北京工业大学集成电路与系统实验室	1	16	1.0	1.0