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 ...
San Mateo, Calif. – Formal-verification tool vendor Verplex Systems Inc. has released an add-on to its Conformal Logic Equivalence Checker that allows the tool to verify complex data path circuitry.
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 ...
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 ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results