Synopsys Verification IP for AMBA4
Synopsys® Verification IP (VIP) for AMBA4® AXI™ provides complete support for AXI3, AXI4, AXI4-Lite, AXI4-Stream, ACE and ACE-Lite interfaces including system and port-level protocol checks. With its comprehensive protocol, methodology, verification and ease-of-use features, users are able to achieve rapid verification coverage closure of their AMBA-based designs. Synopsys VIP for AMBA AXI is integrated with the Synopsys VIP Protocol Analyzer, a protocol-centric debug environment that gives users an easy to understand, graphical view of complex and highly interleaved traffic.
||AXI3, AXI4, ACE, APB4
||UVM, VMM, OVM, Verilog
||VCS, Questa, IUS