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
- NFC wireless interface supporting ISO14443 A and B with EEPROM on SMIC 180nm
- DDR5 MRDIMM PHY and Controller
- RVA23, Multi-cluster, Hypervisor and Android
- HBM4E PHY and controller
- LZ4/Snappy Data Compressor
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
- CAST Releases First Dual LZ4 and Snappy Lossless Data Compression IP Core
- Arteris Wins “AI Engineering Innovation Award” at the 2025 AI Breakthrough Awards
- SEMI Forecasts 69% Growth in Advanced Chipmaking Capacity Through 2028 Due to AI
- eMemory’s NeoFuse OTP Qualifies on TSMC’s N3P Process, Enabling Secure Memory for Advanced AI and HPC Chips
- AIREV and Tenstorrent Unite to Launch Advanced Agentic AI Stack