Home > Community > Forums > Logic Design > LEC - confusion with rtl vs netlist

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 - confusion with rtl vs netlist 

Last post Fri, Dec 9 2011 9:30 AM by croy. 1 replies.
Started by bharat1001 07 Dec 2011 10:25 AM. Topic has 1 replies and 3718 views
Page 1 of 1 (2 items)
Sort Posts:
  • Wed, Dec 7 2011 10:25 AM

    • bharat1001
    • Not Ranked
    • Joined on Wed, Dec 7 2011
    • Posts 1
    • Points 20
    LEC - confusion with rtl vs netlist Reply
    Hi, I have a golden RTL. I synthesize this RTL using Synplify and get a netlist, A. Using the VIF flow, I run LEC and find that netlist A and the RTL are equivalent. I then synthesize the same golden RTL using different synthesis options and the same synthesizer and get a netlist, B. LEC shows that netlist B and the golden are not equivalent. I then attempt to LEC netlist A and netlist B expecting mismatches, however LEC says they are equivalent! With respect to unmapped key points, I do have them, but in the golden RTL and both netlists, they are all unreachable. What can cause netlist A and B to be equivalent? Thanks
    Filed under:
    • Post Points: 20
  • Fri, Dec 9 2011 9:30 AM

    • 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 - confusion with rtl vs netlist Reply
    Hi Bharat It's quite common to have rtl-synth1 and rtl-synth2 pass while synth1-synth2 fails (dont-care optimized differently) or aborts (datapath optimized differently). Both netlists are fine, just implemented a little different. I'm scratching my head as to your description of rtl-synth1 and synth1-synth2 passing and rtl-synth2 failing. That's a new one. Can you create a Service Request please so someone looks at the logs? Thanks, Chrystian
    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by bharat1001 at 07 Dec 2011 10:25 AM. Topic has 1 replies.