( ESNUG 458 Item 4 ) -------------------------------------------- [11/16/06]
From: Jay Pragasam <jpragasam=user domain=plxtech got calm>
Subject: Does anyone actually use Formality EC in a Cadence or Magma flow?
Hi John,
Do any of your readers use Formality as an Equivalence Checking (EC) tool
in their Cadence or Magma flow? Do any do this? In my experience, there's
a tight coupling between Design Compiler (which creates "dwsvf" files) and
Formality. These extra "dwsvf" files makes Formality's job a lot easier.
Without the files Formality sweats. In our last project we had to give up
on Formality in our Magma flow because the tool just couldn't verify.
I'm also interested in if any of your readers has some experience about how
tightly coupled/decoupled Magma Quartz Formal is with the overall Magma
physical synthesis flow.
In essence I have these few questions.
1. Is Formality an independent tool that can handle designs implemented
using any flow?
2. Is Formality used because they get bundled with the Synopsys suite or
does anyone find it technically more advanced than Verplex?
3. Who has evaluated Magma Quartz Formal and how does it compare against
Verplex/Formality?
It seems like Verplex LEC is an independent standalone EC tool. I wonder if
any users of Formality or Quartz Formal can claim the same?
- Jay Pragasam
PLX Technology Sunnyvale, CA
Index
Next->Item
|
|
