SoC中多层AHB总线的断言验证应用

• 作者: 刘斌 宋小明 李宏 薛红喜
• 来源期刊: 现代电子技术
• 关键词: 断言 System Verilog Assertion AHB 验证
• 年，卷（期）: 2011,（22）
• 所属期刊栏目: 嵌入式技术
• 页码范围: 84-87
• 分类号: TN919-34
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2011.22.025

摘要

随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大.断言作为一种描述属性的方法,可以快速地验证设计代码是否满足系统要求.基于断言的验证方法学近年来发展极为迅速,应用也越来越广泛.在基于Multi-layer AHB总线架构上的SoC系统验证过程中,采用System Verilog Assertion验证方法,证明SVA是SoC设计过程中功能验证的一种有效的验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛红喜	电子科技大学电子工程学院	17	96	6.0	9.0
2	宋小明	电子科技大学电子工程学院	1	6	1.0	1.0
3	刘斌	华为技术有限公司成都研究所	1	6	1.0	1.0
4	李宏	电子科技大学电子工程学院	1	6	1.0	1.0