OSVVM Temporal Coverage

Why OSVVM?ForumsOSVVMOSVVM Temporal Coverage

This topic has 2 voices, contains 3 replies, and was last updated by Avatar of Dave Ansell Dave Ansell 326 days ago.

Viewing 4 posts - 1 through 4 (of 4 total)
Author Posts
Author Posts
November 28, 2016 at 07:15 #1212
Avatar of Dave Ansell
Dave Ansell

To Jim Lewis.

I’m very glad to see the development of OSVVM.
BUT
There is something missing.

You have got
Cross Coverage of Data Space.
BUT
What about Time?      With little effort, you could cover events as well.

I’m talking about simple EVENT TRIGGERS, the user will be responsible for what those events are & the data stimulus involved.

EG:-
Need Random time variation to Present Data Pkt to a system
&
With more than 1 Pkt Input Need Cross Coverage of these & CPU access etc.

Cross Coverage of relative Pkt Start, End of Header, Middle & end of Pkts

Also need Cross Coverage of these with other Events

Even events caused by Pkt contents such as decryption of Pkt Data intended for DUT & not to be passed on.

The above are real world problems that could lead to people spending an enormous amount of money on formal verification tools but even then, I doubt that formal verification could do the job within a reasonable time.

So
Event Cross Coverage & ScoreBoarding are needed.

The existing OSVVM packages mean that you have written most of the code already.

How about modifying copies of the packages to put out event trigger pulses to give Temporal Coverage?

Not very much effort required.

Let me know what you think,

  • This reply was modified 329 days ago by Avatar of Dave Ansell Dave Ansell.
November 28, 2016 at 09:34 #1223
Avatar of Jim Lewis
Jim Lewis

Hi Dave,

Coverage is recorded when ICover is called. This means you have complete control.  If you want that to be based on an event or on a transaction basis, just call it after you have detected the event or transaction completion in your code. 

For an example, see http://osvvm.org/forums/topic/state-transitions-as-coverage-bins

If this does not answer your question, try to be more specific.   Perhaps sketch out what you are thinking in pseudo code. 

We are releasing our generic scoreboard package with the 2016.11 (due out real soon).  Students who have taken our class have had access to this for some time.  

Best Regards,

Jim

December 1, 2016 at 04:03 #1230
Avatar of Dave Ansell
Dave Ansell

Yes, I DownLoaded your ScoreBoarding Pkg weeks ago but I haven’t used it for real yet.

When I discovered OSVVM a couple of years ago, I STOPPED USING most of my verification Packages & decided to use OSVVM INSTEAD.

The effort I put into my Packages was just enough for what I needed & NO MORE.
I simply don’t have time to do what you have done.

OSVVM is a BIG time saver.

Thanks.

  • This reply was modified 326 days ago by Avatar of Dave Ansell Dave Ansell.
December 1, 2016 at 04:10 #1234
Avatar of Dave Ansell
Dave Ansell

Had a ReThink about OSVVM Temporal Coverage.

Can we do it with the existing Packages?

YES WE CAN!

WHY?

RandCovPoint produces Numbers & we can let those Numbers represent whatever we want.

We can let those Numbers represent TIME if we want to.
SO
We do not need new Packages to do OSVVM Temporal Coverage.

See this post
http://osvvm.org/forums/topic/intelligent-temporal-coverage-with-osvvm

  • This reply was modified 326 days ago by Avatar of Dave Ansell Dave Ansell.
Viewing 4 posts - 1 through 4 (of 4 total)

You must be logged in to reply to this topic.