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

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

Find auction results by Verplex Co.. Browse through recent auction results or all past auction results on artnet.

Verplex will launch next month a tool which extends its equivalency checking technology to cover an entire system-on-chip (SoC) design. “Traditionally, equivalency checking has been only for random ...

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

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

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