Product category: Design and Development Software
News Release from: Verplex Systems | Subject: Conformal MEM
Edited by the Electronicstalk Editorial Team on 17 February 2003
Equivalence checking for embedded
memories
Conformal MEM is the first equivalence checking solution for embedded memories.
Conformal MEM is the first equivalence checking solution for embedded memories Currently in use in numerous production environments, including a leading microprocessor supplier, Conformal MEM automates equivalence checking of random access memories (RAMs), content addressable memories (CAMs) and register files, providing a fast, exhaustive means of functional verification
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.
Verplex will formally debut Conformal MEM at DATE 2003 in Munich.
According to a recent Semiconductor Industry Association (SIA) report, memory typically makes up 52% of the die area of an SoC design, and by 2005, that figure is expected to increase to 71%.
Functional memory verification approaches based on simulation, including symbolic simulation, are time consuming and provide incomplete coverage, howev