AHB-Xactor is a widely proven solution enabling SoC and IP developers to perform comprehensive functional verification of their AHB master, slave, and interconnect designs and ensure compliance to the AHB standard. The solution consists of BFMs, compliance testsuites, protocol checking, functional coverage monitors, and producer-consumer scoreboard. BFM components and testsuites are all provided in SystemVerilog OVM/UVM/VMM in partial or full source code format. The BFMs support complex traffic sequence generation and all-layer error injection to verify normal and error behvaiors. Compliance testsuites support the AHB compliance protocol checkers from ARM. Compliance verification services are also available from Avery.
Features
Comprehensive support for AMBA AHB including BFMS for master, slave, and N-port interconnects
Complex traffic sequence generators for normal and error scenarios
Robust API to program complex and random BFM request/response timing and operational behaviors and error injection
Producer-Consumer scoreboard performs end2end verification and protocol checking
Complete compliance testsuites including directed and constrained random testsuites
Supports all verification methodologies including VMM, OVM, UVM
Works directly with the ARM AMBA AHB Protocol Checker releases for comprehensive assertion-based verification
Packet tracker monitors output and improves debug
Models and test suites licensed in SystemVerilog partial or full source code formats