datasheets.com EBN.com EDN.com EETimes.com Embedded.com PlanetAnalog.com TechOnline.com  
Events
UBM Tech
UBM Tech
Welcome Guest Log In | Register | Benefits

Formal Verification of AMBA 3 AXI Bus Systems

Authored on: Aug 4, 2005 by Carey Sayer and Jeremy Sonander

Technical Paper

0 0
More InfoLess Info
The ARM range of 16/32-bit microprocessors lead the embedded microprocessor market and the AMBA bus protocols developed by ARM have become the preferred choice by companies designing complex, state of the art, systems-on-chip (SoC).

With this increasing popularity of AMBA bus-based systems, tools that analyze and validate that all design units obey the bus protocol rules are becoming increasingly important. One method of addressing this need is Property Checking. Averant has developed a new product, SolidPC (PC stands for Protocol Checker), a static property-checking tool based upon Averant's Solidify product.

This article describes how Property Checking offers a new approach to quickly and thoroughly verify that candidate designs obey the AMBA 3 AXI bus protocols.

Reprinted in its entirety from ARM IQ Vol. 4, No. 2, 2005

0 comments
write a comment

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page