AerieLogic takes ownership of world wide distribution of former TransEDA formal product line imPROVE-HPK/HDL

Caen, France -- September 26, 2006 - AerieLogic, a leading edge Formal Verification company, today announces the company takes ownership of the Worldwide distribution of its formal product line imPROVE-HPK/HDL, delivering direct support to imPROVE-HPK/HDL customers.

Following the reorganization of TransEDA Technology Ltd. during the summer of 2006, AerieLogic, a French-based company expert in automated formal verification solutions, has taken over the Worldwide distribution of formal verification product imPROVE-HPK/HDL and the associated Hardware Protocol libraries (HPKs).

AerieLogic was created in August 2005 by former TransEDA Product line Manager Samuel Dellacherie, to take in charge the development and maintenance of the imPROVE-HPK/HDL product that was at the time promoted and distributed by TransEDA Technology.

The AerieLogic team is composed of highly experienced engineers and PhDs in Formal and Assertion-based Verification that have been in charge of the development and maintenance of imPROVE-HPK and imPROVE-HDL since the creation of the product line in 2002. Taking over the world wide distribution of the product, AerieLogic now delivers direct support to imPROVE-HPK/HDL customers.

"We see an excellent market opportunity to provide ready-to-use turnkey solutions for protocol checking using formal proof methods”, says Samuel Dellacherie, CEO of AerieLogic. “The imPROVE-HPK/HDL solution has already been very well received by several large corporations in Europe, in North America and in Asia, and also by smaller design houses."

About AerieLogic

AerieLogic is a french-based Formal Verification company that was created in August 2005 by a team of experienced engineers and PhDs in Formal Verification and Assertion-based Verification.

The company leverages its team's extensive experience in industry-oriented formal verification to propose robust state-of-the-art OEM products for integration by third-party EDA or CAD companies. Aerielogic's formal verification products imPROVE-HPK, imPROVE-HDL and the Hardware Protocol Kits are already in use at several major semi-conductor companies and at smaller design centers.

AerieLogic also proposes services in the domain of Assertion-based Verification. AerieLogic's ABV tools help design teams verify their designs and enable them to enhance their design verification flows with an advanced assertion-based methodology.

AerieLogic is headquartered in Caen (Normandy), France. For more information, visit www.aerielogic.com.