Home > Community > Forums > Logic Design > lec blackbox nonequivalent problem

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 blackbox nonequivalent problem 

Last post Fri, Feb 26 2010 9:26 PM by croy. 1 replies.
Started by Arcade9999 26 Feb 2010 11:12 AM. Topic has 1 replies and 1869 views
Page 1 of 1 (2 items)
Sort Posts:
  • Fri, Feb 26 2010 11:12 AM

    • Arcade9999
    • Not Ranked
    • Joined on Fri, Feb 26 2010
    • Posts 2
    • Points 25
    lec blackbox nonequivalent problem Reply

    Dear All,

    Currently I use the hierarchical compare for rtl to synthesized netlist LEC.
    The sub-modules are all equivalent and are set to blackbox after comparison.
    However, there are blackbox nonequivalent occur when comparing the top module.

    For example: 

    In rtl:

    module top(inA, ....);
    input [31:0] inA;
    ...
    wire  [31:0] inB;
    assign inB = inA;

    sub1 usub1(.in1(inB), ...);
    ...
    endmodule

    In netlist:

    module top(inA, ....);
    input [31:0] inA;
    ...
    sub1 usub1(.in1(inA), ...);
    ...
    endmodule

     

    The sub-module sub1 is compared firstly and set to blackbox.
    But sub1 will be reported as nonequivalent BBOX after comparing top module top.

    I found the problem is due to the connection wire name of blackbox are changed after synthesis optimization.

    So is there any command that can solve this kind of blackbox nonequivalent problem??

    Thanks a lot!!

    • Post Points: 20
  • Fri, Feb 26 2010 9:26 PM

    • croy
    • Top 500 Contributor
    • Joined on Fri, Jul 11 2008
    • <?xml version="1.0" encoding="utf-16"?> <string>HOME, PA</string>
    • Posts 32
    • Points 385
    Re: lec blackbox nonequivalent problem Reply

     Hi

     

    This should pass. It doesn't matter that the net names changed as long as the driver is the same. What does the diagnosis manager report? Is anything reported by 'report message -map -verbose'? Are you running Conformal L (ASIC) or XL (Ultra)?

    You may want to file a Service Request with support so they can do a Spacecruiser session with you.

     Also, allow me to do a quick plug for our online on-demand training about the Conformal diagnosis features at trainingondemand.cadence.com.

     

    Chrystian

    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by Arcade9999 at 26 Feb 2010 11:12 AM. Topic has 1 replies.