基于断言的WISHBONE到AHB转换桥验证

• 作者: 冯燕 张挺 陈岚
• 来源期刊: 微电子学与计算机
• 关键词: WISHBONE AHB 总线时序 SystemVerilog断言 基于断言的验证
• 年，卷（期）: 2012,（6）
• 页码范围: 150-152,157
• 分类号: TN47
• 语种: 中文

摘要

随着集成电路设计复杂程度的不断提高，功能验证越来越受到重视．一种新兴的验证方法，基于断言的验证，得到越来越广泛的应用．介绍了基于断言的验证方法，及其在WISHBONE到AHB转换接口验证中的应用，总结了断言验证在功能验证中的优势和特点．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈岚	中国科学院微电子研究所	86	361	10.0	14.0
2	张挺	中国科学院微电子研究所	15	200	7.0	14.0
3	冯燕	中国科学院微电子研究所	12	67	3.0	8.0