Real Intent's Formal Assertion-Based Verification Selected by Micronas; Verix Expressed Intent Verification Plays a Key Role.SUNNYVALE, Calif. -- 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(TM), 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 Audio signal processing, sometimes referred to as audio processing, is the processing of a representation of auditory signals, or sound. The representation can be digital or analog. device. The architecture is based on three highly-specialized, custom DSPs and contains up to 13 asynchronous Refers to events that are not synchronized, or coordinated, in time. The following are considered asynchronous operations. The interval between transmitting A and B is not the same as between B and C. The ability to initiate a transmission at either end. 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 (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; 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 (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 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 SWX Swiss Exchange An all-electronic securities exchange formed from the 1995 merger of exchanges in Geneva, Basel, and Zurich. The exchange offers trading in equity securities, investment funds, exchange-traded funds, bonds, Eurobonds, and options. : MASN MASN Mid-Atlantic Sports Network MASN Mission Area Sub-Network MASN Seaman, Machine Accountant Striker (Naval Rating) , Frankfurt: MNSN MNSN Seaman, Mineman Striker (Naval Rating) , 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 CHF In currencies, this is the abbreviation for the Swiss Franc. Notes: The currency market, also known as the Foreign Exchange market, is the largest financial market in the world, with a daily average volume of over US $1 trillion. 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 (hardware) Application-Specific Integrated Circuit - (ASIC) An integrated circuit designed to perform a particular function by defining the interconnection of a set of basic circuit building blocks drawn from a library provided by the circuit manufacturer. (ASIC (Application Specific Integrated Circuit) Pronounced "a-sick." A chip that is custom designed for a specific application rather than a general-purpose chip such as a microprocessor. ), system-on-chip (SOC), and Field Programmable Gate Array See FPGA. (FPGA (Field Programmable Gate Array) A type of gate array that is programmed in the field rather than in a semiconductor fab. Containing up to hundreds of thousands of gates, there are a variety of FPGA architectures on the market. ) devices. Over 30 major electronics design houses, including Sun Microsystems, ATI, Agilent Technologies, nVidia, and NEC (NEC Corporation, Tokyo, www.nec.com, www.necus.com) An electronics conglomerate known in the U.S. for its monitors. In Japan, it had the lion's share of the PC market until the late 1990s (see PC 98). NEC was founded in Tokyo in 1899 as Nippon Electric Company, Ltd. 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 PureTime and Verix are trademarks of Real Intent Inc. All other trademarks and tradenames are the property of their respective owners. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion