AMBA 5 AHB 验证 IP 提供了一种智能方法来验证 SOC 或 ASIC 的 AMBA 5 AHB 组件。AMBA 5 AHB 验证 IP 完全符合标准 AMBA 5 AHB 规范。AMBA 5 AHB 验证 IP 在 SystemVerilog、VMM、RVM、AVM、OVM、UVM、Verilog、SystemC、VERA、Specman E 和非标准验证环境中原生支持 AMBA 5 AHB 验证 IP 附带可选的智能视觉协议调试器，该调试器是基于 GUI 的调试器，可加快调试速度。
符合 ARM AMBA 5 AHB 规范。
支持 AMBA 5 AHB 主站、从站、监视器和检查器。
支持多个主站和从站。
支持所有 AMBA 5 AHB 数据宽度和地址宽度。
支持所有协议传输类型、突发传输和响应类型。
支持所有传输大小。
支持扩展内存类型
支持安全传输
支持恩迪亚内斯
支持时钟之间稳定
独家和锁定转账支持
多副本原子性支持
支持多个从站选择
单拷贝原子大小支持
用户信令支持
支持协议属性的约束随机化。
从站支持对每个地址或每个事务的响应进行细粒度控制。
主站支持繁忙状态插入和主站中止的细粒度控制。
支持提前突发终止和锁定传输。
在错误响应时继续或取消传输。
支持可编程等待状态或延迟插入。
能够在数据传输过程中注入错误。
可编程超时插入。
灵活发送完全配置的数据。
支持先进先出内存。
丰富的配置参数集，用于控制 AMBA 5 AHB 功能。
动态协议和数据检查。
通知测试平台重大事件，如事务、警告、计时和协议违规。
内置覆盖率分析。
主、从和监视器中各种事件的回调。
总线上各种事件的状态计数器。
AMBA 5 AHB 验证 IP 附带完整的测试套件，可测试 AMBA 5 AHB 规范的每个功能
可交付成果
包含所有 AMBA 5 AHB 测试用例的完整回归套件。
演示如何连接各种组件以及 BFM 和监视器用法的示例。
验证环境中使用的所有类、任务和函数的详细文档。
