Regarding sample dofile for in lec verify mode > Forums

Forums

Subject: Regarding sample dofile for in lec verify mode

Posting to forums is available to community members only.
Login or Register

Rate this topic:

Author

Messages

sreenivasaraov
Posts: 6
Online: User is Offline

3/23/2008 8:20 AM
Hi to all How to prepare sample dofile in lec verify mode.if anyboday have this sample dofle plz forward?if i use conformal lec dofile it does not support it shows errors?in lec verfiy user guide also i didn't get complete information? if anybody have this lec verfiy sample dofile plz forward ? -Regards sreenivas

croy
Posts: 52
Online: User is Offline

4/15/2008 5:22 AM
Hi Sreenivas Which feature do you want to use in the Verify mode? Is it Clock Domain Crossing (CDC) checks or is it the other extended checks (semantics, bus, FSM, etc)? If it's for CDC then we have a jump-start kit, including a sample script. I can create one for the other extended checks if need be. Please let me know. Chrystian

sreenivasaraov
Posts: 6
Online: User is Offline

4/29/2008 4:23 AM
hi chrystin i want clock domain crossing checks related script? could you plz send if u have any attachments related to this. sreenu447@gmail.com this is my id . -Regards sreenivasa

croy
Posts: 52
Online: User is Offline

5/09/2008 6:26 PM
Hi Sreenivas I can't send a Cadence Confidential document to a gmail account. Please send a request to receive the CDC jumpstart kit to mailto:conformal_workshops@cadence.com from your work email. Sorry, Chrystian

sreenivasaraov
Posts: 6
Online: User is Offline

5/14/2008 6:43 AM
hi chrystin thank you for your information if possible could please send to my corporate mail id svrao@centillium.com thanks -Regards sreenivasa

Posting to forums is available to community members only.
Login or Register

Forums > Digital IC > Formal verification > Regarding sample dofile for in lec verify mode