IP可重用的AMBA AXI总线验证平台设计与实现

摘要：

总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点.针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的,层次化的AMBA AXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制.实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性.

关键词：系统集成芯片、总线功能模型、断言、代码覆盖率、功能覆盖率

所属期刊栏目：29

分类号：TP39(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA110010;国家自然科学基金60603049;中国科学院知识创新工程重大基金KGCX1-sw-09

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

页数：共4页

页码：1713-1715,1753