# title
AMBA 4 AXI4, AXI4-Lite, and AXI4-Stream Protocol Assertions User Guide

# topic.label
AMBA 4 AXI4, AXI4-Lite, and AXI4-Stream Protocol Assertions User Guide

# topic.topics[].topics[].label
Implementing the protocol assertions in your design directory

# topic.topics[].topics[].topics[].label
Location of AXI4 protocol assertions files

# topic.topics[].topics[].label
Instantiating the protocol assertions module

# topic.topics[].topics[].topics[].label
Example Verilog file listing for AXI4 protocol assertions instantiation

# topic.topics[].topics[].topics[].label
Example Verilog file listing for AXI4-Lite protocol assertions instantiation

# topic.topics[].topics[].topics[].label
Example Verilog file listing for AXI4-Stream protocol assertions instantiation

# topic.topics[].topics[].topics[].label
Disabling recommended rules for AXI4 and AXI4-Lite

# topic.topics[].topics[].topics[].label
Disabling recommended rules for AXI4-Stream

# topic.topics[].topics[].label
AXI4 and AXI4-Lite protocol assertion descriptions

# metadata.contentDescription
This book is for AMBA 4 AXI4, AXI4-Lite, and AXI4-Stream Protocol Assertions.