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

Toggle Coverage, using SVA/OVL for an Analog Block Signals

 
Post new topic   Reply to topic    Verification Guild Forum Index -> Main
View previous topic :: View next topic  
Author Message
Pappu
Senior
Senior


Joined: Oct 08, 2004
Posts: 47

PostPosted: Mon Sep 26, 2011 2:11 pm    Post subject: Toggle Coverage, using SVA/OVL for an Analog Block Signals Reply with quote

I have a relatively simple task of making sure that all the signals in an analog block toggle during my tests. The 3 options that I know of, are :

Toggle coverage as an option to running ncsim
Use an OVL assertion to make sure all the signals toogle
Write a covergroup in SV

Any recommendations with the relevant command line options or sample code.

Thanks
Back to top
View user's profile
Ajeetha
Senior
Senior


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

PostPosted: Mon Sep 26, 2011 11:22 pm    Post subject: Re: Toggle Coverage, using SVA/OVL for an Analog Block Signa Reply with quote

Pappu wrote:
I have a relatively simple task of making sure that all the signals in an analog block toggle during my tests. The 3 options that I know of, are :

Toggle coverage as an option to running ncsim
Use an OVL assertion to make sure all the signals toogle
Write a covergroup in SV

Any recommendations with the relevant command line options or sample code.

Thanks


In IRUN/IUS one can do:

Code:

   irun -debug -coverage block+fsm+toggle+expr  ../dut/arb_round.v ../tb/arbitr_tb.v
   iccr -gui -test ./cov_work/design/test


to enable toggle cov. covergroup/OVL - is pretty straight forward, take a look at $IUS_HOME examples on OVL/PSL/SVA.

HTH
Ajeetha, CVC
www.cvcblr.com/blog
_________________
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:   
Post new topic   Reply to topic    Verification Guild Forum Index -> Main All times are GMT - 5 Hours
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot 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.454 Seconds