English
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.
|
||||||
Related News
- Daejin semiconductor, takes over the distribution of Dolphin Design in Korea
- Averant and AerieLogic to Ease the Usage of Formal Property Verification
- TransEDA Successfully Merges Leadership Coverage and Formal Verification Technologies to ProvideNew Dimensions in Coverage
- Verification leader TransEDA names former Semiconductor Executive as Chief Executive Officer
- Former ARM executive takes control at Triscend
Breaking News
- HPC customer engages Sondrel for high end chip design
- Ubitium Debuts First Universal RISC-V Processor to Enable AI at No Additional Cost, as It Raises $3.7M
- TSMC drives A16, 3D process technology
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- TSMC drives A16, 3D process technology
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
|
E-mail This Article | 
|
|
Printer-Friendly Page |