( ESNUG 456 Item 3 ) -------------------------------------------- [07/17/06]

From: Jonathan Tran <jonathan.tran=user domain=ti spot calm>
Subject: I need a script to translate Verplex points into Formality points

Hi John,

Do you know of a script that post-processes a Verplex Conformal LEC mapped
points file to an equivalent Formality mapped points file?  I did a logic
equivalence run using Conformal and wrote out a mapped points file between
RTL-vs-gates, but to read it back into PrimeTime requires it to be in
Formality mapped file format (since PT and Formality are Synopsys tools).
I am doing this for power analysis.  Any help appreciated.

    - Jonathan Tran
      Texas Instruments                          Dallas, TX