Pre-verified Interface IP Subsystems reduce design risk and accelerate time-to-market
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 News
- Codasip adopts Siemens' OneSpin tools for formal verification
- NanoSemi Relies on OneSpin Automated Formal Verification Tools to Verify SystemC Designs for 5G ASICs
- STMicroelectronics Standardizes on Synopsys VC Formal for Faster Verification Closure of Leading Microcontroller Designs
- Verplex First With Formal Verification of Complex Datapath
- LogicVision certifies Verplex's formal verification for its embedded test flow
Breaking News
- Ceva Wi-Fi 6 and Bluetooth IPs Power Bestechnic's New Combo Products
- MediaTek and Ceva Collaborate for More Immersive Spatial Audio Mobile Entertainment Experience
- Flash Memory LDPC Decoder IP Core Available For Integration From Global IP Core
- Arm vs. RISC-V in 2025: Which Architecture Will Lead the Way?
- GUC Monthly Sales Report - December 2024
Most Popular
- Arm loses out in Qualcomm court case, wants a re-trial
- Softbank Izanagi AI processor expected next year
- Jury is out in the Arm vs Qualcomm trial
- Weebit Nano licenses its ReRAM technology to onsemi
- Synopsys Responds to U.K. Competition and Markets Authority's Phase 1 Announcement Regarding Ansys Acquisition
E-mail This Article | Printer-Friendly Page |