Printer Friendly
The Free Library
14,558,602 articles and books
Member login
User name  
Password 
 
Join us Forgot password?

NEC CORPORATION STANDARDIZES ON VERPLEX FORMAL VERIFICATION TOOLS.


NEC (NEC Corporation, Tokyo, www.nec.com, www.necus.com) An electronics conglomerate known in the U.S. for its monitors. In Japan, it had the lion's share of the PC market until the late 1990s (see PC 98).

NEC was founded in Tokyo in 1899 as Nippon Electric Company, Ltd.
 Corporation has endorsed Conformal con·for·mal  
adj.
1. Mathematics Designating or specifying a mapping of a surface or region upon another surface so that all angles between intersecting curves remain unchanged.

2.
 Logic Equivalence Checker (LEC (1) (LAN Emulation Client) A software driver that provides LAN emulation (LANE) in an ATM network. It resides in an ATM end station or in a computer system that provides the LAN to ATM conversion, often known as a LAN access device. See LANE. ) from Verplex Systems, Inc., as the formal verification
"Verifiability" redirects here. For the Wikipedia policy, see Wikipedia:Verifiability.


In the context of hardware and software systems, 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 LSI: see integrated circuit.


(Large Scale Integration) Between 3,000 and 100,000 transistors on a chip. See SSI, MSI, VLSI and ULSI.
 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 senna, any plant of the genus Sennia (formerly placed in Cassia), leguminous herbs, shrubs, and trees of the family Leguminosae (pulse family), most common in warm regions. , 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.

 Reader Opinion

Title:

Comment:



 

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.(Product Announcement)
Topics:



Related Articles
Simplex teams with silicon foundries for deep submicron IC verification; Simplex to develop accurate interconnect models and validate with Foundry...
Cadence Announces NEC's Sign-Off Status for NC-Verilog.
VERPLEX SHIPS FULL-CHIP FORMAL RTL DESIGN VERIFICATION TOOL THAT CUTS LEARNING CURVE.(Brief Article)(Product Announcement)
AGILENT'S NETWORKING AND COMPUTING GROUP INCORPORATES VERPLEX FORMAL VERIFICATION SOLUTION IN DESIGN FLOW.(Product Information)
IBM PROPERTY SPECIFICATION LANGUAGE SELECTED AS NEW EDA STANDARD.
LogicVision Certifies Verplex's Formal Verification for Its Embedded Test Flow; Product Interoperability Shortens Time-to-Market.
Verplex is Number One in Formal Verification Market; Owns Majority Market Share, Based on EDAC MSS Report.
Sunplus selects Verplex to verify all chip designs.(deploys Conformal Logic Equivalence Checker)
Verplex First With Formal Verification of Complex Datapath; Quickly And Exhaustively Verifies Chips With Arithmetically Complex Logic.
NEC Develops Mobile Router Enabling Broadband Communication from High-Speed Mobile Objects.

Terms of use | Copyright © 2009 Farlex, Inc. | Feedback | For webmasters | Submit articles