AMBA® 4 AXI4™, AXI4-Lite™, and AXI4-Stream™ Protocol Assertions User Guide

Revision: r0p1


Table of Contents

Preface
About this book
Product revision status
Intended audience
Using this book
Glossary
Conventions
Additional reading
Feedback
Feedback on this product
Feedback on content
1. Introduction
1.1. About the protocol assertions
1.2. Tools
2. Implementation and Integration
2.1. Implementation and integration flow
2.2. Implementing the protocol assertions in your design directory
2.2.1. AXI4 protocol assertions files
2.2.2. Location of AXI4 protocol assertions files
2.3. Instantiating the protocol assertions module
2.3.1. Example Verilog file listing for AXI4 protocol assertions instantiation
2.3.2. Example Verilog file listing for AXI4-Lite protocol assertions instantiation
2.3.3. Example Verilog file listing for AXI4-Stream protocol assertions instantiation
2.4. Configuring your simulator
3. Parameter Descriptions
3.1. Interface
3.1.1. AXI4 and AXI4-Lite interfaces
3.1.2. AXI4-Stream interface
3.2. Performance checking
3.3. Disabling recommended rules
3.3.1. Disabling recommended rules for AXI4 and AXI4-Lite
3.3.2. Disabling recommended rules for AXI4-Stream
3.4. End of simulation rules
3.4.1. AXI4 and AXI4-Lite
3.4.2. AXI4-Stream
3.5. X-check rules
3.6. Disabling protocol assertions
4. Protocol Assertions Descriptions
4.1. AXI4 and AXI4-Lite protocol assertion descriptions
4.1.1. Write address channel checks
4.1.2. Write data channel checks
4.1.3. Write response channel checks
4.1.4. Read address channel checks
4.1.5. Read data channel checks
4.1.6. Low-power interface rules
4.1.7. Exclusive access checks
4.1.8. Internal logic checks
4.1.9. Additional checks for AXI4-Lite
4.2. AXI4-Stream protocol assertion descriptions
A. Example Usage
A.1. RDATA stable failure
B. Revisions

Proprietary Notice

Words and logos marked with ® or ™ are registered trademarks or trademarks of ARM in the EU and other countries, except as otherwise stated below in this proprietary notice. Other brands and names mentioned herein may be the trademarks of their respective owners.

Neither the whole nor any part of the information contained in, or the product described in, this document may be adapted or reproduced in any material form except with the prior written permission of the copyright holder.

The product described in this document is subject to continuous developments and improvements. All particulars of the product and its use contained in this document are given by ARM in good faith. However, all warranties implied or expressed, including but not limited to implied warranties of merchantability, or fitness for purpose, are excluded.

This document is intended only to assist the reader in the use of the product. ARM shall not be liable for any loss or damage arising from the use of any information in this document, or any error or omission in such information, or any incorrect use of the product.

Where the term ARM is used it means “ARM or any of its subsidiaries as appropriate”.

Confidentiality Status

This document is Non-Confidential. The right to use, copy and disclose this document may be subject to license restrictions in accordance with the terms of the agreement entered into by ARM and the party that ARM delivered this document to.

Product Status

The information in this document is final, that is for a developed product.

Revision History
Revision A30 June 2010First issue for r0p0
Revision B23 July 2012First issue for r0p1
Copyright © 2010, 2012 ARM. All rights reserved.ARM DUI 0534B
Non-ConfidentialID121112