Formal Verification of AMBA 3 AXI Bus Systems
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.