OCP Formal-VIP Overview and Benefits

Overview and Benefits The OCP Formal-VIP is a flexible and powerful solution for OCP-based designs:      Can work with any formal verification tool      Performs automatic and exhaustive formal verification of OCP-based designs      Proves 100% compliance against the OCP 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 The OCP Formal-VIP enables to automatically and exhaustively prove that a design based on OCP 2.2/2.1/2.0 or OCP 1.0/Sonics2.4 is 100% compliant with the protocol, without any need for assertions or formal verification knowledge. The OCP Formal-VIP can work with any formal verification tool of the market. The OCP Formal-VIP provides a GUI wizard and CLI for easy set-up, complete documentation including references to the original specification,regression script and report generation. Once the OCP parameter file is set using the wizard accordingly to the design, the OCP 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 OCP protocol, or to automatically compute short test-sequences that illustrate the OCP protocol violations. In addition to validating the protocol layer, many deep bugs and corner-cases are uncovered automatically with the OCP Formal-VIP properties running at the protocol level.      [ Continue... ]