AXI Formal-VIP Overview and Benefits

Overview and Benefits The AXI Formal-VIP is a flexible and powerful solution for AXI and APB 3.0 based designs:      Can work with any formal verification tool      Performs automatic and exhaustive formal verification of AXI/APB-based designs      Proves 100% compliance against the AXI/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 AXI Formal-VIP enables to automatically and exhaustively prove that a design based on AXI 1.0 or APB 3.0 is 100% compliant with the protocol, without any need for assertions or formal verification knowledge. The AXI Formal-VIP can work with any formal verification tool of the market. The AXI 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 AXI parameter file is set using the wizard accordingly to the design, the AXI 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 AXI protocol,or to automatically compute short test-sequences that illustrate the AXI protocol violations. In addition to validating the protocol layer, many deep bugs and corner-cases are uncovered automatically with the AXI Formal-VIP properties running at the protocol level.     [ Continue... ]