AMBA 4 AXI4、AXI4-Lite和AXI4-流协议断言用户指南

您可以将协议断言与任何旨在实现AMBA®4 AXI4的接口一起使用™, AXI4 Lite™, 或AXI4流™ 协议通过一系列断言根据协议检查测试接口的行为。
本指南介绍SystemVerilog文件的内容，以及如何将它们集成到设计中。它还描述了在设计模拟过程中，在模拟器中正确使用这些断言来标记错误、警告或两者。