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.

The company's goal is to enhance the SoC functional verification flow using an assertion-based methodology (ABV) and formal verification. These technologies are difficult to bring into action, and AerieLogic leverages it's team extensive experience to provide automated formal solutions that enable non-expert users to take full advantage of assertions and formal verification.