MILPITAS, Calif., October 8, 2001 --Verplex[tm] Systems, Inc., the electronic design automation (EDA) company known for its formal verification software, today launched the Verplex FormaLinks, a third ...

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, ...

Verplex Systems has launched a website for design and verification engineers. The site includes multimedia lectures and demonstrations covering assertion-based verification, formal specification ...

SAN JOSE, Calif. — Three design automation vendors are introducing products this week that are said to ease the IC verification crunch. Novas Software Inc. is rolling out its first “behavior-based ...

Formal verification specialist Verplex Systems has developed an equivalence checker for embedded memories. The Conformal MEM checker performs automated checks on RAMs, content addressable memory and ...

A provider of Formal Verification products, Conformal Solutions and Blacktie Property Checker. Verplex was a formal verification company, offering a solution for functional closure. Verplex’s BlackTie ...

The Essex Historical Society presents “A Look At The Verplex Company,” by Phil Maas at 7 p.m. on Oct. 10 at Clark Group Offices, 25 Middlesex Turnpike, Essex. This event is free and open to the public ...

Cadence Design Systems Inc., San Jose, Calif., agreed to acquire closely held Verplex Systems Inc. Financial terms of the deal weren't disclosed. Cadence Design, which makes semiconductor design ...

Cadence Design Systems Inc. closed its deal to buy Verplex Systems Inc. on Aug. 19 -- but there's a catch. The San Jose-based maker of semiconductor systems structured the deal to defer some of the ...

LogicVision (www.logicvision.com) and Verplex Systems (www.verplex.com) have announced the successful completion of interoperability testing between LogicVision's embedded-test tools and Verplex's ...