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

摘要：

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

关键词：断言、System Verilog Assertion、AHB、验证

所属期刊栏目：34

分类号：TN919-34

在线出版日期：2012-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：84-87