AerieLogic is a french start-up company based in Normandy that was created in 2005 by a team of experienced engineers in Assertion-based Verification (ABV) and in Formal Verification.

AerieLogic proposes Formal Verification IPs that target popular SoC protocols such as Amba or OCP. These Formal-VIPs work seamlessly with several major formal verification tools and simulators of the EDA market. Formal-VIPs enable to automatically and exhaustively prove that your design is 100% compliant with the given protocol, without any need for assertions or formal verification knowledge.

The company also provides consulting and services on ABV and formal verification. You can get detailed information on our products and company on our web site