| SoC中多层AHB总线的断言验证应用 |
| |
| 引用本文： | 宋小明,薛红喜,刘斌,李宏.SoC中多层AHB总线的断言验证应用[J].现代电子技术,2011(22):84-87. |
| |
| 作者姓名： | 宋小明 薛红喜 刘斌 李宏 |
| |
| 作者单位： | 电子科技大学电子工程学院;华为技术有限公司成都研究所; |
| |
| 摘 要： | 随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满足系统要求。基于断言的验证方法学近年来发展极为迅速,应用也越来越广泛。在基于Multi-layer AHB总线架构上的SoC系统验证过程中,采用System Verilog Assertion验证方法,证明SVA是SoC设计过程中功能验证的一种有效的验证方法。
|
| 关 键 词： | 断言 System Verilog Assertion AHB 验证 |
Application of Assertion Verification for Multi-layer AHB Bus in SoC |
| |
| SONG Xiao-ming,XUE Hong-xi,LIU Bin,LI Hong.Application of Assertion Verification for Multi-layer AHB Bus in SoC[J].Modern Electronic Technique,2011(22):84-87. |
| |
| Authors: | SONG Xiao-ming XUE Hong-xi LIU Bin LI Hong |
| |
| Institution: | SONG Xiao-ming1,XUE Hong-xi1,LIU Bin2,LI Hong1(1.School of Electronics Engineering,University of Electronic Science and Technology of China,Chengdu 610054,China,2.Chengdu institute,Huawei Technologies Co.,Ltd.,Chengdu 610041,China) |
| |
| Abstract: | |
| |
| Keywords: | assertion System Verilog Assertion AHB verification |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
