LogicVision certifies Verplex's formal verification for its embedded test flow

Product Interoperability Shortens Time-to-Market

San Jose, Calif., May 13, 2002 - LogicVision, Inc., (NASDAQ:LGVN), a leading provider of embedded test IP for integrated circuits and systems, and Verplex Systems, Inc., provider of high-speed, high-capacity and easy-to-use formal verification products for complex system-on-chip (SoC) design, today announced the successful completion of interoperability testing with Verplex's Conformal™ Logic Equivalence Checker (LEC) formal verification product. This capability will further drive adoption of Embedded Test Solution™, shortening development and manufacturing time of IC designs.

The Conformal LEC formal verification tool provides customers with an alternate approach to simulation for verifying the functionality of their designs, incorporating LogicVision's embedded test. Formal verification, when combined with static timing analysis, eliminates days of simulation tasks that would otherwise be required to confirm the intended chip function has not been altered as a result of changes to a design. The productivity gain becomes increasingly important for SoCs and complex ASIC designs, where lengthy simulation times can severely impact product development schedules.

"LogicVision's commitment in delivering embedded test products and solutions that shorten time to market of new LogicVision testable designs remains unwavering. Our relationship with Verplex in providing an accelerated mechanism for verifying test-ready designs is further evidence of that continuing commitment," said Mukesh Mowji, LogicVision's vice president of marketing. "We highly recommend leveraging Verplex's Conformal LEC in the LogicVision Embedded Test flow to minimize development time. Verplex's independence from the design tool flow gives us confidence that any design tool bugs will be identified in the verification process."

"LogicVision's unwavering commitment to its customers, along with its excellent products, makes it an ideal partner for Verplex," said Dino Caporossi, Verplex's vice president of corporate marketing. "As our customers' designs go through the many critical value-added transformations such as embedded test, they count on Verplex's verification solutions for the independent audit assurance."

LogicVision's certification announcement of Verplex's formal verification product confirms Conformal™ LEC's ability to validate the functional mode of a design that incorporates embedded test. This achievement represents the first phase of the planned cooperation between the two companies, with the second phase addressing formal verification of the LogicVision test modes, including logic and memory BIST.

About LogicVision Inc.

LogicVision (NASDAQ: LGVN) provides proprietary technologies for embedded test that enable the more efficient design and manufacture of complex semiconductors. LogicVision's embedded test solution allows integrated circuit designers to embed into a semiconductor design test functionality that can be used during semiconductor production and throughout the useful life of the chip. For more information on the company and its products, please visit the LogicVision Web site at www.logicvision.com.

About Verplex Systems

Verplex Systems, Inc. is an electronic design automation (EDA) company focusing on delivery of the highest speed, highest-capacity and easiest-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, CA, 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.

Contacts:
 

Forward-Looking Statements

Except for the historical information contained herein, the matters set forth in this press release, including statements as to LogicVision's expectation that the capability of its embedded test to interoperate with Verplex's Conformal LEC formal verification product will further drive adoption of its Embedded Test Solution™ by customers, LogicVision's commitment to deliver embedded test products and solutions that shorten time-to-market of new LogicVision testable designs, and its efforts to provide an accelerated mechanism for verifying test-ready designs, are forward-looking statements within the meaning of the Private Securities Litigation Reform Act of 1995. These forward-looking statements are subject to risk and uncertainties that could cause actual results to differ materially, including, but not limited to, the impact of technological advances and competitive products and other risks detailed from time to time in LogicVision's SEC reports, including its annual report on Form 10-K for the year ended December 31, 2001. These forward-looking statements speak only as of the date hereof. LogicVision disclaims any obligation to update these forward-looking statements.

LogicVision, Embedded Test, LogicVision Ready and LogicVision logos are trademarks or registered trademarks of LogicVision, Inc. in the United States and other countries. All other trademarks and service marks are the property of their respective owners.

Acronyms and Definitions

ATE: Automatic Test Equipment
ATPG: Automatic Test Pattern Generation
BIST: Built-in-Self-TestDFT: Design-for-Test
DFT: Design-for-Test
EDA: Electronic Design Automation
GDSII: An industry format describing the physical structure of the chip design and used to create mask tooling for chip manufacturing
GUI: Graphics User Interface
HDL: Hardware Description Language
IC: Integrated Circuit
RTL: Register Transfer-Level
Verilog: A hardware description language used to design and document electronic systems.
VHDL: VHSIC (Very High-Speed Integrated Circuit) HDL
IP: Intellectual Property
SoC: System-on-chip