Printer Friendly

NEC CORPORATION STANDARDIZES ON VERPLEX FORMAL VERIFICATION TOOLS.

NEC Corporation has endorsed Conformal Logic Equivalence Checker (LEC) from Verplex 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." [sections]
COPYRIGHT 2002 Millin Publishing, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2002, Gale Group. All rights reserved. Gale Group is a Thomson Corporation Company.

Article Details
Printer friendly Cite/link Email Feedback
Comment:NEC CORPORATION STANDARDIZES ON VERPLEX FORMAL VERIFICATION TOOLS.
Publication:EDP Weekly's IT Monitor
Geographic Code:1USA
Date:Jan 21, 2002
Words:220
Previous Article:INTUIT BECOMES SOLE ONLINE TAX PREP PROVIDER ON YAHOO! FINANCE.
Next Article:TESTTRACK PRO SERVER FOR MAC OS X NOW AVAILABLE.
Topics:


Related Articles
VERPLEX SHIPS FULL-CHIP FORMAL RTL DESIGN VERIFICATION TOOL THAT CUTS LEARNING CURVE.
AGILENT'S NETWORKING AND COMPUTING GROUP INCORPORATES VERPLEX FORMAL VERIFICATION SOLUTION IN DESIGN FLOW.
IBM PROPERTY SPECIFICATION LANGUAGE SELECTED AS NEW EDA STANDARD.
Sunplus selects Verplex to verify all chip designs.
NEC Develops Mobile Router Enabling Broadband Communication from High-Speed Mobile Objects.

Terms of use | Privacy policy | Copyright © 2020 Farlex, Inc. | Feedback | For webmasters