Sunnyvale, California -- June 7, 2005 –- Real Intent, Inc., the leading supplier of formal verification software for electronic design, and Micronas, a leading supplier of cutting-edge IC and sensor system solutions for consumer and automotive electronics and a market leader in innovative, global TV system solutions today announced that Micronas has chosen Real Intent's Verix software.
Micronas has deployed Real Intent's formal assertion verification system, Verix, in its design flow for different types of advanced SoCs to improve verification efficiency and complement simulation with formal capability. Providing best-of-breed SoC solutions requires consistently leveraging industry best practices. Micronas makes use of a wide range of techniques to produce the most robust possible design, and Verix proved to even eliminate many errors that were not caught by other techniques.
The latest Micronas design Verix improved was a highly optimized Audio signal processing device. The architecture is based on three highly-specialized, custom DSPs and contains up to 13 asynchronous clock domains, which presented a highly complex verification challenge to the design team.
"Verix has met our demanding requirements for high-capacity, ease-of-use and error-coverage, and has been successfully deployed in our complex design flows," remarked Dr. Abdelwaheb Ayari, CAD Engineer, Micronas GmbH. "With Verix Expressed Intent, we utilize user-defined checks and assertions to prove the correctness of the pipeline execution of our processors. In addition, designers used Verix for implicit RTL checks for the full chip, a task that may have been very difficult to achieve in simulation. We were especially impressed with the speedy verification of the crossing problems of the 13 asynchronous clock domains. Overall, Verix added a significant value to meet our development targets of shorter and accurate design cycles producing robust, reusable first-time-right IC designs."
"Simulation-based paradigms have created a fundamental imbalance in design flows. Hardware teams are burdened with creating test environments that envision all of the possible failure scenarios, rather than focusing on the correct operation of the design. The breakthroughs in formal analysis technology that we are delivering today, significantly reduce the effort spent on dynamic verification, and enable the next level of design growth", said Dr. Prakash Narain, President and CEO of Real Intent. Narain continued, "Key customers like Micronas are truly our partners in delivering these exciting next generation formal solutions to the market."
About Micronas
Micronas (SWX Swiss Exchange: MASN, Frankfurt: MNSN, Prime Standard Segment, TecDAX), a semiconductor designer and manufacturer with worldwide operations, is a leading supplier of cutting-edge IC and sensor system solutions for consumer and automotive electronics. As a market leader in innovative, global TV system solutions, Micronas leverages its expertise into new markets emerging through the digitization of audio and video content. Micronas serves all major consumer brands worldwide, many of them in continuous partnerships seeking joint success. While the holding is headquartered in Zurich (Switzerland), operational headquarters are based in Freiburg (Germany). Currently, the Micronas Group employs about 1900 people. In 2004, it generated CHF 963 million in sales. For more information on Micronas and its products, please visit www.micronas.com.
About the Real Intent, Verix Family
The Verix family is a set of state-of-the-art verification tools, built upon a single unified database. Verix software products utilize the power of formal analysis to verify design assertions and either prove them correct or detect bugs that are hard to find. Verix can often detect defects entirely missed with other Register Transfer Level (RTL) verification and optimization techniques. A combination of highly-optimized formal engines and patented automatic design partitioning gives Verix the industry's largest formal capacity and proof capability. The family includes Expressed Intent Verification (formal assertion- based verification), Clock Intent Verification (hazard detection), Implied Intent Verification (automatic formal design verification) and PureTime (timing exception verification).
About Real Intent
Real Intent is the leading provider of assertion-based verification (ABV) solutions, and is extending breakthrough formal technology to critical problems encountered by design and verification teams worldwide. Real Intent's products dramatically improve the functional verification efficiency of leading edge application-specific integrated circuit (ASIC), system-on-chip (SOC), and Field Programmable Gate Array (FPGA) devices. Over 30 major electronics design houses, including Sun Microsystems, ATI, Agilent Technologies, nVidia, and NEC Electronics, use Verix software.
Founded in 1999, Real Intent is a privately-held Electronic Design Automation (EDA) company headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: 408. 830.0700, fax: 408. 737.1962, web: www.realintent.com, e-mail: info@realintent.com
|
|
|
