Printer Friendly

AGILENT'S NETWORKING AND COMPUTING GROUP INCORPORATES VERPLEX FORMAL VERIFICATION SOLUTION IN DESIGN FLOW.

Agilent Technologies' Networking and Computing ASIC Group has incorporated the Verplex formal verification software into its design flow.

Verplex's Tuxedo Logic Equivalence Checker (LEC) has been deployed into its advanced hierarchical flows to verify high-performance, multi-million-gate chips for next-generation computing and communications markets. Its designers have used Tuxedo LEC on their chip designs for more than two years.

"Verplex has combined leading-edge technology, ease of use, ease of integration and great support," notes Richard Nash, manager for Agilent's High Performance VLSI Design Automation Group. "As a result, Tuxedo LEC has helped us meet our aggressive product cycles and customers' turn-around requirements. It also has enabled Agilent to formally verify large designs that we have implemented using our most advanced design flows which include physical synthesis and timing-optimized design methodologies."

With more than three decades of design and manufacturing experience, Agilent Technologies is a leading application specific integrated circuit (ASIC) supplier in today's marketplace. Agilent offers state-of-the-art hierarchical design methodology and an excellent design-for-test capability that provides unsurpassed test coverage. These strengths, combined with an extensive intellectual property (IP) portfolio, facilitate rapid integration of quality, high-performance ASICs for applications including communications, imaging and computing.

"Verplex offers the complete tool suite that focuses solely on the verification flow," says Nash. "As a result, Tuxedo LEC provides us with verification independent from the electronic design automation software we utilize to create and implement our designs."

Tuxedo LEC combines speed, performance, capacity and ease of use for the rapid and reliable formal verification of full-chip designs. It compares register transfer level (RTL) code to flattened or hierarchical netlists for multi-million gate designs in minutes or hours, instead of days or weeks required by comparable tools.
COPYRIGHT 2001 Millin Publishing, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2001, Gale Group. All rights reserved. Gale Group is a Thomson Corporation Company.

Article Details
Printer friendly Cite/link Email Feedback
Title Annotation:Product Information
Comment:AGILENT'S NETWORKING AND COMPUTING GROUP INCORPORATES VERPLEX FORMAL VERIFICATION SOLUTION IN DESIGN FLOW.(Product Information)
Publication:EDP Weekly's IT Monitor
Geographic Code:1USA
Date:Jun 11, 2001
Words:281
Previous Article:DOWSLAKE MICROSYSTEMS UNVEILS INDUSTRY'S FIRST INTELLIGENT OPTICAL SUBSYSTEM PLATFORM.
Next Article:SPRINT AND ZLAND AGREE TO DEVELOP NETWORK OPS CENTER.
Topics:


Related Articles
VERPLEX SHIPS FULL-CHIP FORMAL RTL DESIGN VERIFICATION TOOL THAT CUTS LEARNING CURVE.
NEC CORPORATION STANDARDIZES ON VERPLEX FORMAL VERIFICATION TOOLS.
Sunplus selects Verplex to verify all chip designs.

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