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
- RISC-V CPU IP
- AES GCM IP Core
- High Speed Ethernet Quad 10G to 100G PCS
- High Speed Ethernet Gen-2 Quad 100G PCS IP
- High Speed Ethernet 4/2/1-Lane 100G PCS
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
- HPC customer engages Sondrel for high end chip design
- PCI-SIG’s Al Yanes on PCIe 7.0, HPC, and the Future of Interconnects
- Ubitium Debuts First Universal RISC-V Processor to Enable AI at No Additional Cost, as It Raises $3.7M
- Cadence Unveils Arm-Based System Chiplet
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers