Using this book

This book is organized into the following chapters:

Chapter 1 Introduction

Read this for a high-level description of the protocol checker.

Chapter 2 Implementation and Integration

Read this for a description of where to locate the protocol checker in your design, the integration flow, information about specific signal connections with an example file listing, and setting up your simulator,.

Chapter 3 Parameter Descriptions

Read this for a description of the protocol checker parameters.

Chapter 4 Assertion Descriptions

Read this for a description of the protocol checker assertions.

Appendix A Example Usage

Read this for an example of a design that does not comply with the protocol.

Appendix B Revisions

Read this for a description of the technical changes between released issues of this book.

Glossary

Read this for definitions of terms used in this guide.

Copyright © 2005, 2006, 2009 ARM. All rights reserved.ARM DUI 0305C
Non-Confidential