|
||||||||||||||||||||||
|
Leading Electronics and EDA Companies Rally Together in Support of Accellera Formal Property Language
"Zoran Corporation is a leading provider of digital solutions-on-a-chip in the growing multimedia and consumer electronics markets. During the last 4 years we have been using formal verification methods, specifically Rule-Base from IBM that is based on the Sugar language. We found that using formal verification was one of the major reasons for having very complex SoCs ready for production at the first step." -Avi Parash, director of IP solutions, Zoran Microelectronic LTD. About the Companies Mentioned in this Press Release
Note: 0-In is a registered trademark and CheckerWare is a trademark of 0-In Design Automation, Inc. Cadence and the Cadence logo are registered trademarks of Cadence Design Systems, Inc. IBM and the IBM logo are registered trademarks of IBM Corporation. Infineon and the stylized Infineon Technologies design are trademarks and servicemarks of Infineon Technologies AG. Mellanox is a trademark of Mellanox Technologies, Inc. Mentor Graphics is a registered trademark of Mentor Graphics Corporation. Novas Software is a registered trademark of Novas Software, Inc. Real Intent is a trademark of Real Intent. TransEDA is a registered trademark and VN-Property DX is a trademark of TransEDA PLC. Verplex and BlackTie are trademarks of Verplex Systems Inc. Zoran is a registered trademark of Zoran Corporation. All other trademarks are the property of their respective holders.
Media Contact:
« Previous Page 1 | 2
 Be the first to review this article
|
|
|||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
