Home > Community > Forums > Logic Design > LEC debug points report generation ???

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: *

 LEC debug points report generation ??? 

Last post Tue, Jul 22 2014 7:53 PM by sogold. 2 replies.
Started by aperla 29 May 2014 08:03 AM. Topic has 2 replies and 3079 views
Page 1 of 1 (3 items)
Sort Posts:
  • Thu, May 29 2014 8:03 AM

    • aperla
    • Not Ranked
    • Joined on Mon, Jul 23 2012
    • Posts 1
    • Points 20
    LEC debug points report generation ??? Reply

    LEC between rtl and netlist

    i have black boxed all the logic blocks. 

    assue there is no logic between inputs to till black boxes.

    now i wanted to generate the report for each failed point with respect to inputs

    please help

    thanks

     

    • Post Points: 20
  • Wed, Jun 4 2014 3:58 PM

    Re: LEC debug points report generation ??? Reply

    For each non-equivalent point (and a blackbox is considered as 1 point), you can generate a diagnosis report for it with "diagnose" command.

    i.e.

    LEC> diagnose top/A/B/C/u_sram -golden

    When it's a blackbox, LEC will diagnose and report each and every input pins which are non-equivalent.

     Here's the description of "diagnose" command.

     SYNTAX
           DIAgnose
           <<gate_id> | <instance_pathname> | <pin_pathname>
             [-Golden | -Revised]
             [-SUPport]
             [-MERge]
             [-NUm <integer>]
            | -SUMmary [integer][-SOrt <SUpport | SIze>]
            |[-NOneq]>
            [-GROup]
            [-VERBose]
           (LEC Mode)

    DESCRIPTION
           Runs diagnosis on a specified compared point. Specify the compared
           point by its gate identification number, instance path, or a pin path.
           Use this command to determine why the software identified nonequiva-
           lence between compared points.

           The diagnosis displays all of the non-corresponding support key points
           with a list of all likely error candidates from the Revised design. The
           list organizes likelihood in descending order with 1.00 being the
           greatest possible error candidate.

           Use the REPORT ENVIRONMENT command to display the maximum diagnosis
           candidates setting.

           Note: The syntax above assumes you are diagnosing mapped compare points
           (where you only need to specify one compare point). When you are diag-
           nosing instance/sequential merge nonequivalence, you must specify two
           compare points.

    PARAMETERS
           <gate_id>       Diagnoses the specified gate.

                           Note: ID numbers can differ from one version of Confor-
                           mal to another. Always use the full path in dofiles and
                           any time you rerun a design with a different Conformal
                           version.

           <instance_pathname>
                           Diagnoses the specified instance path.
     ...

    • Post Points: 20
  • Tue, Jul 22 2014 7:53 PM

    • sogold
    • Not Ranked
    • Joined on Tue, Jul 22 2014
    • <?xml version="1.0" encoding="utf-16"?><string>hcm, Vietnam</string>
    • Posts 1
    • Points 5
    Re: LEC debug points report generation ??? Reply

     SYNTAX
           DIAgnose
           <<gate_id> | <instance_pathname> | <pin_pathname>
             [-Golden | -Revised]
             [-SUPport]
             [-MERge]

    I don't understand this part



    ________
    sogold - founder gia ca phe hom nay and gia ca phe noi dia 

    • Post Points: 5
Page 1 of 1 (3 items)
Sort Posts:
Started by aperla at 29 May 2014 08:03 AM. Topic has 2 replies.