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