Verification Guild
A Community of Verification Professionals

 Create an AccountHome | Calendar | Downloads | FAQ | Links | Site Admin | Your Account  

Login
Nickname

Password

Security Code: Security Code
Type Security Code
BACKWARD

Don't have an account yet? You can create one. As a registered user you have some advantages like theme manager, comments configuration and post comments with your name.

Modules
· Home
· Downloads
· FAQ
· Feedback
· Recommend Us
· Web Links
· Your Account

Advertising

Who's Online
There are currently, 42 guest(s) and 0 member(s) that are online.

You are Anonymous user. You can register for free by clicking here

  
Verification Guild: Forums

 Forum FAQForum FAQ   SearchSearch   UsergroupsUsergroups   ProfileProfile  ProfileDigest    Log inLog in 

Does PSL support all cpp macros?

 
This forum is locked: you cannot post, reply to, or edit topics.   This topic is locked: you cannot edit posts or make replies.    Verification Guild Forum Index -> Assertions
View previous topic :: View next topic  
Author Message
Ivan
Newbie
Newbie


Joined: Aug 02, 2004
Posts: 1

PostPosted: Mon Aug 02, 2004 5:21 am    Post subject: Does PSL support all cpp macros? Reply with quote

Hello.

Could somebody clarify this sentence from PSL Reference Manual 1.1, page 17:
Quote:
VHDL and GDL flavors support cpp pre-processing directives (e.g., #define, #ifdef, #else, #include, and #undef).

Does that mean that these flavors support all cpp preprocessing directives, or just the ones stated in parenthesis?

I am asking this because the tool I am using does not support PSL macros yet, so I decided to use cpp preprocessor on psl file before compiling it, but I don't want to create psl code which is not compliant to standard.
Back to top
View user's profile
avigail
Junior
Junior


Joined: Aug 11, 2004
Posts: 8

PostPosted: Wed Aug 11, 2004 2:36 am    Post subject: Reply with quote

Yes, the VHDL and GDL flavors support all cpp directives.

The idea is that the PSL tool can run a cpp tool before it starts parsing the PSL code, just like a C compiler would do.
Back to top
View user's profile
Display posts from previous:   
This forum is locked: you cannot post, reply to, or edit topics.   This topic is locked: you cannot edit posts or make replies.    Verification Guild Forum Index -> Assertions All times are GMT - 5 Hours
Page 1 of 1

 
Jump to:  
You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
Verification Guild © 2006 Janick Bergeron
Web site engine's code is Copyright © 2003 by PHP-Nuke. All Rights Reserved. PHP-Nuke is Free Software released under the GNU/GPL license.
Page Generation: 0.134 Seconds