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, 40 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 

Hierarchial Signal Names in PSL/OVL

 
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
Narek
Newbie
Newbie


Joined: Aug 31, 2004
Posts: 1

PostPosted: Tue Aug 31, 2004 3:14 am    Post subject: Hierarchial Signal Names in PSL/OVL Reply with quote

Hi,

I am currently assessing and testing the possible use of PSL or OVL within our organisation. I am trying to find out if it's possible to use signals across the hierarchy within assertions. So far my searches on the matter haven't been confirmed nor denied. Any information would be helpful.

Thanks,
Narek
Back to top
View user's profile
vhdlcohen
Industry Expert
Industry Expert


Joined: Jan 05, 2004
Posts: 1248
Location: Los Angeles, CA

PostPosted: Wed Sep 08, 2004 12:06 pm    Post subject: Reply with quote

Quote:
I am currently assessing and testing the possible use of PSL or OVL within our organisation. I am trying to find out if it's possible to use signals across the hierarchy within assertions. So far my searches on the matter haven't been confirmed nor denied. Any information would be helpful.

PSL is a language that is used in conjunction with other HDL like VHDl, Verilog , or SystemVerilog. Thus, the access of signals across the hiererchy is not a PSL issue, but rather an HDL issue. Obviously, Verilog and SystemVerilog allow you to access signals across the hierarchy. VHDL'95 is more restictive, but Mentor and Cadence provide routines to access signals across hierarchy. It's not as easy as Verilog or SystemVerilog.
OVL consists of modules or components, which are instantiated. Thus, it becaomes a matter of what is being passed to the ports.
Ben
_________________
Ben Cohen http://www.systemverilog.us/
* SystemVerilog Assertions Handbook, 3rd Edition, 2013
* A Pragmatic Approach to VMM Adoption
* Using PSL/SUGAR ... 2nd Edition
* Real Chip Design and Verification
* Cmpt Design by Example
* VHDL books
Back to top
View user's profile Send e-mail Visit poster's website
Ajeetha
Senior
Senior


Joined: Mar 29, 2004
Posts: 424
Location: Bengaluru, India

PostPosted: Wed Sep 08, 2004 1:46 pm    Post subject: Reply with quote

vhdlcohen wrote:
VHDL'95 is more restictive, but Mentor and Cadence provide routines to access signals across hierarchy. Ben


For the information/completeness sake, VCS & Aldec also has similar packages. One could use more generic probe package that I wrote a while ago for this, please see downloads section in this site - that kind of makes your code "virtually" simulator independent - though you need to compile different package files for different simulators, the TB code and call to the probing commands will remain unchanged.

Thanks,
Ajeetha
_________________
Ajeetha Kumari,
CVC Pvt Ltd. http://www.cvcblr.com
* A Pragmatic Approach to VMM Adoption http://www.systemverilog.us/
* SystemVerilog Assertions Handbook
* Using PSL/Sugar
Back to top
View user's profile Visit poster's website
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.652 Seconds