AerieLogic Takes Ownership of World Wide Distribution of Former TransEDA Formal Product Line ImPROVE-HPK/HDL.CAEN Caen (käN), city (1990 pop. 115,624), capital of Calvados dept., N France, in Normandy, on the Orne River. It is a busy port, canalized (by Napoleon I) directly to the sea. , France -- AerieLogic, a leading edge Formal Verification
In the context of hardware and software systems, 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 See turnkey system. solutions for protocol checking using formal proof methods", says Samuel Dellacherie, CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. of AerieLogic. "The imPROVE-HPK/HDL solution has already been very well received by several large corporations in Europe, in North America North America, third largest continent (1990 est. pop. 365,000,000), c.9,400,000 sq mi (24,346,000 sq km), the northern of the two continents of the Western Hemisphere. 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 (Original Equipment Manufacturer) The rebranding of equipment and selling it. The term initially referred to the company that made the products (the "original" manufacturer), but eventually became widely used to refer to the organization that buys the products and products for integration by third-party EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. 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 ABV Above ABV Alcohol By Volume ABV Abuja, Nigeria (airport code) ABV Assault Breacher Vehicle ABV Accredited Business Valuation specialist ABV Auxiliary Building Ventilation ABV Annual Buy Value ABV Air Bleed Valve 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. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion