Overview and Benefits 

The AHB Formal-VIP is a flexible and powerful solution for AHB and APB 2.0 based designs:

     Can work with any formal verification tool
     Performs automatic and exhaustive formal verification of AHB/APB-based designs
     Proves 100% compliance against the AHB/APB protocol specification
     Reduces the verification effort and enables earlier bug detection
     Enhances the design documentation and protocol understanding
     Finds deep bugs and reduces interaction issues with performance properties

The AHB Formal-VIP enables to automatically and exhaustively prove that a design based on AHB 2.0 or APB 2.0 is 100% compliant with the protocol, without any need for assertions or formal verification knowledge. The AHB Formal-VIP can work with any formal verification tool of the market.

The AHB Formal-VIP provides a GUI and CLI interface wizard for easy set-up, complete documentation including references to the original specification, regression script and report generation. Once the AHB parameter file is set using the wizard accordingly to the design, the AHB Formal-VIP automatically creates the complete formal environment and instanciates all assertions for the targeted formal tool.

The user can then launch the regression script to prove that the design is 100% compliant with the AHB protocol, or to automatically compute short test-sequences that illustrate the AHB protocol violations.
In addition to validating the protocol layer, many deep bugs and corner-cases are uncovered automatically with the AHB Formal-VIP properties running at the protocol level. 

[ Continue... ]