基于断言的AXI总线的功能验证

• 作 者: 李龙华 李贵勇 王帆 屈刚
• 机 构: 重庆邮电大学移动通信重点实验室
• 出 处: 电光系统
• 发表日期: 2011年3期
• 关键词: 功能验证 SOC SVA AXI Functional Verification SOC SVA AXI

随着集成电路规模的不断增大，验证的工作越来越困难，要正确且充分的验证SOC设计的完整性和正确性显得尤为重要。本文针对如何快速且高效的功能验证问题，介绍了基于断言的验证方法学的定义及优点，具体介绍了SVA，并以AXI总线为例，通过仿真说明SVA的高效性。