SAN JOSE, CA–(Marketwire – October 25, 2012) – Cadence Design Systems, Inc. (NASDAQ: CDNS), a leader in global electronic design innovation, today announced multiple successful verification projects using Cadence® Verification IP (VIP) for ARM® AMBA® protocols, one of the industry’s most widely used verification solutions for the AMBA protocol family. Leading customers, including CEVA, Inc., Faraday Technology Corporation, … Read More → "Cadence Verification IP Significantly Reduces Verification Turnaround Time for ARM AMBA 4 Protocols"

Wirral, UK. October 25, 2012 – LDRA, the leading provider of automated software verification, source code analysis and test tools, has fully integrated the LDRA tool suite® with IBM® Rational® Rhapsody® ensuring a seamless workflow from model-driven development to test and verification. IBM Rational Rhapsody, a UML-based modeling and code-generation tool, speeds the design of complex systems that often must meet industry certification standards.

… Read More → "IBM Rational Rhapsody and LDRA tool suite streamline model to verification process"

MOUNTAIN VIEW, CALIF. –– October 24, 2012 –– Breker Verification Systems, the system-on-chip (SoC) Verification Company, today announced that the latest release of its TrekSoC™ software supports SoC designs that include multiple heterogeneous embedded processors.

TrekSoC automatically generates self-verifying C test cases that run on the SoC’s processors in a fully synchronized manner for faster and more thorough verification. Its test cases exercise a wide range of functional scenarios, ensuring that the SoC can support the necessary concurrency, system-level and software functionality while meeting performance requirements.