Product category: Design and Development Software
News Release from: Verplex Systems | Subject: Conformal Datapath
Edited by the Electronicstalk Editorial Team on 25 April 2003
Verification extends to complex
datapaths
To answer the challenge of formally verifying designs that have compiled datapath circuitry, Verplex Systems has developed Conformal Datapath (DP).
To answer the challenge of formally verifying designs that have compiled datapath circuitry, Verplex Systems has developed Conformal Datapath (DP), a new component of its family of formal verification products Conformal DP addresses verification challenges faced by teams developing timing critical applications such as graphics, multi-media, DSP, and communications, which often require advanced datapath optimisation
This article was originally published on Electronicstalk on 23 Mar 2001 at 8.00am (UK)
Related stories
Functional checker intercepts SoC bugs early
BlackTie functional checker from Verplex Systems is the industry's first full-chip multi-million-gate-capacity tool to accelerate the verification of SoC designs.
Formal verification just got faster
Verplex Systems has announced its next generation Conformal Logic Equivalence Checker.