NEC Corporation Standardizes on Verplex Formal Verification Tools
NEC Corporation Standardizes on Verplex Formal Verification Tools
MILPITAS, Calif.--(BUSINESS WIRE)--Jan. 14, 2002--NEC Corporation today endorsed Conformal(TM) Logic Equivalence Checker (LEC) from Verplex(TM) Systems, Inc., as the formal verification standard for use in all of its worldwide technology development and designated it an OpenCAD software tool.
OpenCAD is NEC's integrated, large-scale system-on-chip (SOC) design and development environment. Conformal LEC is now available for NEC's 0.13-micron process technology, and will be available to support all future technologies. Previously, Conformal LEC supported NEC's 0.18-micron process technology.
"Because our customer designs are complex and highly advanced, we need to offer a high-speed and reliable formal verification solution," says Nobuyuki Nishiguchi, NEC's department manager of design methodology, Systems LSI Design Engineering Division. "Conformal LEC from Verplex offers them the highest accuracy, ease-of-use and reliable quality of results."
Adds Masabumi Doi, director of DA Solutions Division, Marubeni Solutions, Verplex Systems' distributor in Japan: "We worked with Verplex Systems to ensure the latest version of Conformal LEC meets the unique requirements of NEC's design environment for large-scale SOCs and provides a seamless flow for their customers."
"NEC's worldwide reputation as a first-class supplier of high-speed ASICs and leading-edge design environment makes this an important and welcomed endorsement," affirms Tom Senna, vice president of Marketing and Business Development. "It will benefit our mutual customers by increasing their overall design quality while decreasing their time to market."
For more information on Conformal LEC, contact Dino Caporossi, Verplex vice president of marketing, at (408) 586-0387 or via email at dino@verplex.com. More details about Verplex can be found at its Web Site: http://www.verplex.com.
About NEC Corporation
NEC Corporation (NASDAQ: NIPNY- news; FTSE: 6701q.l) is a leading provider of Internet solutions, dedicated to meeting the specialized needs of its customers in the key computer, network and electron device fields through its three market-focused in-house companies: NEC Solutions, NEC Networks and NEC Electron Devices. NEC Corporation, with its in-house companies, employs more than 150,000 people worldwide and saw net sales of 5,409 billion Yen (approx. US$43 billion) in fiscal year 2000-2001. For further information, please visit the NEC home page at: http://www.nec.com.
About Verplex
Verplex Systems Inc. is an electronic design automation (EDA) company focused on delivering high-speed, high-capacity and easy-to-use formal verification products for complex system-on-chip (SOC) design. Founded in 1997, it is privately held and funded by leading venture capital firms. Corporate headquarters is located at 300 Montague Expressway, Suite 100, Milpitas, Calif. 95035. Telephone: (408) 586-0300. Facsimile: (408) 586-0230. Email: info@verplex.com. Online information is found at its web site: http://www.verplex.com.
Verplex, Conformal and BlackTie are trademarks of Verplex Systems Inc. All other companies and products referenced herein are trademarks or registered trademarks of their respective holders.
Contact:
Nanette Collins, 617/437-1822
nanette@nvc.com
Related Semiconductor IP
- 1.8V/3.3V I/O library with ODIO and 5V HPD in TSMC 16nm
- 1.8V/3.3V I/O Library with ODIO and 5V HPD in TSMC 12nm
- 1.8V to 5V GPIO, 1.8V to 5V Analog in TSMC 180nm BCD
- 1.8V/3.3V GPIO Library with HDMI, Aanlog & LVDS Cells in TSMC 22nm
- Specialed 20V Analog I/O in TSMC 55nm
Related News
- Codasip adopts Siemens' OneSpin tools for formal verification
- Get2Chip synthesis linked to Verplex formal tool
- Xilinx, Verplex Collaborate to Provide Formal Verification At Various Stages of FPGA Design Flow
- Verplex Formal Verification Software Chosen by Tensilica
Latest News
- Will RISC-V reduce auto MCU’s future risk?
- Frontgrade Gaisler Launches New GRAIN Line and Wins SNSA Contract to Commercialize First Energy-Efficient Neuromorphic AI for Space Applications
- Continuous-Variable Quantum Key Distribution (CV-QKD) system demonstration
- Latest intoPIX JPEG XS Codec Powers FOR-A’s FA-1616 for Efficient IP Production at NAB 2025
- VeriSilicon Launches ISP9000: The Next-Generation AI-Embedded ISP for Intelligent Vision Applications