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

作者：宋小明; 薛红喜; 刘斌; 李宏

来源：现代电子技术, 2011, (22): 84-87.

DOI：10.16652/j.issn.1004-373x.2011.22.025

• 断言
• System Verilog Assertion
• AHB
• 验证 assertion
• System Verilog Assertion
• AHB
• verification

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

• 单位
  华为技术有限公司; 电子科技大学