|November 28, 2016 at 07:15 #1212|
To Jim Lewis.
I’m very glad to see the development of OSVVM.
You have got
I’m talking about simple EVENT TRIGGERS, the user will be responsible for what those events are & the data stimulus involved.
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.
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,
|November 28, 2016 at 09:34 #1223|
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.
|December 1, 2016 at 04:03 #1230|
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.
OSVVM is a BIG time saver.
|December 1, 2016 at 04:10 #1234|
Had a ReThink about OSVVM Temporal Coverage.
Can we do it with the existing Packages?
YES WE CAN!
RandCovPoint produces Numbers & we can let those Numbers represent whatever we want.
We can let those Numbers represent TIME if we want to.
You must be logged in to reply to this topic.