Home > Community > Forums > Digital Implementation > LEC - gated clock latches "Unreachable"

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 - gated clock latches "Unreachable" 

Last post Mon, May 7 2012 11:21 PM by piyushoct. 6 replies.
Started by Yemelya 10 May 2010 04:42 PM. Topic has 6 replies and 5418 views
Page 1 of 1 (7 items)
Sort Posts:
  • Mon, May 10 2010 4:42 PM

    • Yemelya
    • Top 150 Contributor
    • Joined on Wed, Feb 17 2010
    • Posts 60
    • Points 870
    LEC - gated clock latches "Unreachable" Reply

    Hello,

    LEC between RTL and gate level after gated clock insertion reports all the gated clock latches as "Unreachable".
     
    Is there some constrain or command in LEC which should be implemented to resolve this issue?

    Thank you very much!

    Boris

    Filed under: , ,
    • Post Points: 35
  • Mon, May 10 2010 7:24 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 - gated clock latches "Unreachable" Reply

    Hi Boris

     

    This is expected behaviour. During modeling Conformal takes the latch circuit and changes it back to a mux so equivalence checking can be run. Please see Solution 11195852 for more details.

     

    Chrystian

    • Post Points: 20
  • Tue, May 11 2010 5:43 AM

    • Yemelya
    • Top 150 Contributor
    • Joined on Wed, Feb 17 2010
    • Posts 60
    • Points 870
    Re: LEC - gated clock latches "Unreachable" Reply

     

    Thank you very much!

    • Post Points: 5
  • Thu, Jul 14 2011 5:33 AM

    • AMit Raj
    • Not Ranked
    • Joined on Thu, Jul 14 2011
    • Bangalore, Karnataka
    • Posts 6
    • Points 120
    Re: LEC - gated clock latches "Unreachable" Reply

    you can use the flatten model with the option -gated_clock

     

     

    Set Flatten Model -Gated_Clock

    • Post Points: 20
  • Sun, May 6 2012 10:35 PM

    • piyushoct
    • Not Ranked
    • Joined on Mon, Apr 16 2012
    • Posts 2
    • Points 25
    Re: LEC - gated clock latches "Unreachable" Reply

    set flatten model -gated_clock will apply on the golden code or revised code?

    set flatten model -seq_constant will be applied on the golden code or revised code?

     

    Filed under:
    • Post Points: 20
  • Mon, May 7 2012 11:56 AM

    • tstark
    • Top 200 Contributor
    • Joined on Mon, Jul 28 2008
    • San Jose, CA
    • Posts 40
    • Points 455
    Re: LEC - gated clock latches "Unreachable" Reply

    Yes. :-)

    The options will be applied to both (so there is no -golden or -revised option but there is for remodel). I'm pretty sure those options will be applied in a matching manner. So it will apply to one side if it exists in the other. But won't if it doesn't match.

     

    tstark

    • Post Points: 20
  • Mon, May 7 2012 11:21 PM

    • piyushoct
    • Not Ranked
    • Joined on Mon, Apr 16 2012
    • Posts 2
    • Points 25
    Re: LEC - gated clock latches "Unreachable" Reply

    Thanks....

    Filed under:
    • Post Points: 5
Page 1 of 1 (7 items)
Sort Posts:
Started by Yemelya at 10 May 2010 04:42 PM. Topic has 6 replies.