NEW YORK and PARIS, June 7, 2011 – AdaCore and Altran Praxis today announced the release of the SPARK Pro 10 software development and verification environment, providing a major step forward for the developers of high-assurance systems. SPARK Pro now offers increased flexibility to developers of systems with mixed integrity levels or with the need to integrate SPARK with other languages or legacy code.

SPARK Pro is a product jointly developed by Altran Praxis, international specialist in embedded and critical systems engineering, and AdaCore, the leading provider … Read More → "AdaCore and Altran Praxis Release SPARK Pro 10"

LEUVEN, Belgium and SAN JOSE, Calif., June 6, 2011—Imec, a world-leading nanoelectronics research institute based in Belgium, and Cadence Design Systems, Inc. (NASDAQ: CDNS), a leader in global electronic design innovation, today announced new technology that delivers an automated test solution for design teams deploying 3D stacked ICs (3D-ICs). The technology addresses the test challenges involved as electronics companies increasingly turn to 3D-ICs as a way to increase circuit density and achieve better performance at lower power dissipation for mobile and other applications where space is at a premium.

This imec-Cadence collaboration provides the design-for-test (DFT) and … Read More → "Imec and Cadence Deliver Automated Solution for Testing 3D Stacked ICs"

ARM (LON: ARM; Nasdaq: ARMH), and Synopsys, Inc. (Nasdaq: SNPS) have signed an expanded multi-year agreement extending ARM’s access to Synopsys’ innovative EDA technology. ARM will also provide Synopsys with access to the ARM Cortex-A15 processor to maximize performance and energy efficiency of SoCs built by ARM’s Partners using this advanced ARM processor and Synopsys tools. Both agreements build upon a long history of partnership between the two companies, including ARM’s use of Synopsys EDA tools in the design of the ARM Cortex-A processor family and the experience gained supporting leading ARM Cortex licensees.

… Read More → "ARM and Synopsys Sign Multi-Year EDA Tools and ARM® Cortex™-A15 Access Agreements"

DESIGN AUTOMATION CONFERENCE, SAN DIEGO, Calif., June 6, 2011 – Magma® Design Automation (Nasdaq:LAVA), today launched Silicon One, an initiative intended to bring focus to making silicon profitable for customers by providing differentiated solutions and technologies that address business imperatives facing semiconductor makers today – time to market, product differentiation, cost, power and performance. Magma is debuting its solution-oriented Silicon One offerings at the 48th annual Design Automation Conference, opening today in San Diego.

“Some EDA vendors attempt to be all things to all people. They try to lock customers into complete end-to-end flows, … Read More → "Magma Announces Silicon One Initiative – Brings Together Superior Technology, Design Expertise and Customers’ Creativity to Deliver Profit-Driving Differentiated Silicon"