Wednesday, November 19, 2008     Register | Login | Search | Contact Us
     
   
     
     

Many of you already received communications about the move of the Cadence user community into cadence.com. And many of you have already joined, with over 4000 registrations in the first two weeks.

The new Cadence Community enhances the ability of Cadence users to connect and collaborate. In addition to moving the community into cadence.com -- enabling single sign-on for community, Sourcelink and Cadence events -- the new site is organized around nine technology segments, giving you easy access to product information, training, forums and blogs. Some of the new features include:
  • Ability to respond to posts via e-mail
  • Technology-specific blogs
  • Latest Web 2.0 social networking capabilities
  • Public profile options
  • Private messaging
  • Friends lists
Visit the new Cadence Community today at www.cadence.com/community and join the discussions!

Registration note: Due to the scope of the enhancements and the new SSO registration system, we were not able to migrate existing cdnusers.org member accounts. So new registrations are required, but this enables a broader set of functionality we think you'll enjoy.

Forum note: Under the guidance of forum moderators, we have taken the 20+ cdnusers.org forums and consolidated them into 11 forums on the new site. Posts have been brought over so you can leverage that posting history. CDNusers forums will be set to read only starting 7/30, and cdnusers.org will be redirected to the new community on 8/4.

Best regards,
Mike and Tom

Michael A. Catrambone - Steering Committee Chairman
Distinguished Engineer
PCB/Mechanical
UTStarcom, Inc.

Tom Diederich
Cadence Community Manager
Home
Forums
Forums > Digital IC > Formal verification

Subject: using variables for command options in Setup Mode and wlec_master.* files
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
sporadic crash
Posts: 43
Online: User is Offline
8/29/2007 2:57 AM  
Conformal version is 07.10-s140.

Question 1.

I want to use a variable for the file entries in the following command in setup mode:

read library -statetable -liberty \
/home/usr/some_dir/file \
/home/usr/some_dir/some_other_file
...

for example, like this:

read library -statetable -liberty \
$some_dir/file \
$some_dir/some_other_file

$some_dir will be a UNIX environment variable.
How can it be done in Conformal setup mode language?

I could not find any.
Later I will bind it to ENV_VAR stuff in RTL Compiler interface, because our Conformal scripts are generated automatically by RTL Compiler.

Question 2

If you call write_do_lec in RTL Compiler, wlec_master.do,csh files are generted in the directory where RC is running. How can I tell the tool, so that it generates these files in a directory I can specify?
croy
Posts: 54
Online: User is Offline
8/29/2007 7:00 AM  
Hi

I can help with the first question:

UNIX> setenv MYDIR rtl
UNIX> setenv MYFILE test.v
UNIX> lec -nog
SETUP> read design $MYDIR/$MYFILE

will work. In tclmode you would have to use this of course:

TCL_SETUP> read design $env(MYDIR)/$env(MYFILE)

BTW -statetable is default since 5.2 so you can skip that switch.

Chrystian
croy
Posts: 54
Online: User is Offline
8/30/2007 2:40 PM  
Hi

About your second question, looks like the answer is 'write_do_lec -revised -tmp_dir '

Chrystian
sporadic crash
Posts: 43
Online: User is Offline
9/05/2007 12:50 PM  
I am very sorry for this late answer, I was very busy with some more important stuff in synthesis. Thank you for the replies.

To croy: You say -statetable option is default but as I stated in my first posting in this thread that we are using such Conformal scripts which are generated automatically by RTL Compiler. That means, Cadence tool infers that option. They do that I think to support a wide range of Conformal versions. Probably not all customers use the same version.

I will have try your recommendations in the first opportunity. Thank you folks.
sporadic crash
Posts: 43
Online: User is Offline
9/17/2007 5:11 AM  
Hi croy,

the option -tmp_dir you mentioned is undocumented in v07.10-s009_1. My synthesis run time is pretty long, hopefully to try it within 3-4 hours.

Are you sure that this option can be used for write_do_lec? You mentioned "looks like the answer is...". That means you are also not certain, aren't you?

Sporadic...
croy
Posts: 54
Online: User is Offline
9/17/2007 5:29 AM  
Hi Sporadic

The only reason I said 'looks like' is that the info came from another AE. It should be correct.

Good point about -statetable and old releases.

Chrystian
sporadic crash
Posts: 43
Online: User is Offline
10/10/2007 4:22 AM  
Hi croy,

-tmp_dir option solved the problem. Hope to see such kind of hidden/undocumented docs in the manuals soon.

Utku
croy
Posts: 54
Online: User is Offline
10/25/2007 2:32 PM  
Hi Utku

-tmp_dir was documented for write_do_clp but not for write_do_lec. It's now fixed.

Thanks for the catch.

Chrystian
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > using variables for command options in Setup Mode and wlec_master.* files


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.