Problems with Synopsys DC and Cadance Confromal

Discussion in 'Cadence' started by cafm, Apr 20, 2007.

  1. cafm

    cafm Guest

    Hi All

    My current flow requires me to synthesize using Synopsys DC and then
    we run formal verification using cadence as a double check on the
    synthesis. The problem comes since some times some of the point's
    don't get matched between RTL and Net list. Usually this is done by
    modifying the model flattening options in confromal.

    Right now this is done as a trial and error by toggling each model
    flattening option. I understand that there would be some correlation
    between the type of logic/optimization parameters that I have used in
    Synopsys DC and the flattening parameters that I must set for a
    conformal pass.
    Is any literature on this available on this? do any one else fae
    similar issues and they have any solution/rule of thumbs?

    Thanks in advance
    Sabarinath K
    DFT Engineer

    olympusmons.blogsome.com
     
    cafm, Apr 20, 2007
    #1
Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.
Similar Threads

  1. How to fix this problem in Synopsys?

  2. Problems with 2000i and XP

  3. tutorial on cadence/synopsys

  4. Back-annotation for PrimeTime and power compiler in Synopsys by using Cadebce tools???

  5. Using a new standard cell library with Synopsys Design Analyser

  6. ADS to Cadance

  7. Manual routing in Cadance

  8. Problems with "cut with surface" when working with "spilt"

Loading...