Home > Community > Forums > Logic Design > abort points

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 abort points 

Last post Wed, Jul 19 2006 6:43 PM by archive. 3 replies.
Started by archive 19 Jul 2006 06:43 PM. Topic has 3 replies and 1492 views
Page 1 of 1 (4 items)
Sort Posts:
  • Wed, Jul 19 2006 6:43 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    abort points Reply

    i'm running an rtl2gate verification and i'm running into abort point issues.  the gate level netlist has scan and clock gating inserted.  i'm running version 05.10-s200

    i have the "set flatten model -gated_clock" switch set. 

    i've tried running a "compare effort high" run after the medium run.
    i've tried "set compare option -part flow" (undocumented) with "compare effort low"

    i've run out of ideas, and i can't find any documentation anywhere on how to deal with abort points.  the cone of logic doesn't seem to complicated: there are 3 DFFs and 1 PI feeding this cone. 

    i was able to verify the same design using synopsys formality. 


    Originally posted in cdnusers.org by crackoner
    • Post Points: 0
  • Thu, Jul 20 2006 12:28 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: abort points Reply

    Can you try 'analyze abort -verbose' and then 'analyze abort -compare' in release 6.1? (without -part flow)

    Chrystian Roy
    Conformal CoreComp AE


    Originally posted in cdnusers.org by croy
    • Post Points: 0
  • Wed, Jul 26 2006 12:13 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: abort points Reply

    chrystian,
    your suggestion resolved all the abort points i had. can i assume that it's not neccessary to run the "analzye abort -verbose" before the compare step?

    thanks for your help,
    crack


    Originally posted in cdnusers.org by crackoner
    • Post Points: 0
  • Wed, Jul 26 2006 5:18 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: abort points Reply

    Hi

    Correct. No need for 'analyze abort -verbose' if 'analyze abort -compare' did the trick.

    We're getting very good success with that command in 6.1.

    Chrystian


    Originally posted in cdnusers.org by croy
    • Post Points: 0
Page 1 of 1 (4 items)
Sort Posts:
Started by archive at 19 Jul 2006 06:43 PM. Topic has 3 replies.