Activity

hello , thanks for your reply .
I have another question . I have 2 inputs the first one have 1 value and the others can take a valu from 0 to 3 .
I used the GenBin function inside the AddCross procedure.
I want to get the for combinasion between the 2 inputs to get 100% coverage
while not IsCovred (ID) loop
AddCross(ID,4, GenBin(1),…[Read more]

Hi Lewis,

the above provided code with loop statement gives simulator busy message in console box.

Hi Omaima,
First, I should note you are using the older version of CoveragePkg that has a protected type interface. I suggest that you upgrade to the newer version that has a singleton interface. Please see CoveragePkg_user_guide.pdf in the OsvvmLibraries/Documentation.

Coverage is a data structure. Calls are done in order and items…[Read more]

Hi Nagella
To debug your code start by reading your code out loud. Do at least 2 iterations of your process.

What we see is that you are calling InitSeed before generating each value.

Why is this a problem? Verification uses pseudo random. Each seed always produces the same sequence of values. For verification pseudo random is required so your…[Read more]

Hi Michael,
I may have specified an extra attribute during simulation. You can adjust for this by doing:
SetCoverageSimulateOptions "-acdb_cov sbm -cc_all"

But it still did not report anything, so I read more into the the Aldec Riviera-PRO reference manual:
> Riviera-PRO does not automatically recognize the finite state machines from code. The…[Read more]

Hi Michael,
The intention is that it reports statemachine options. Maybe I am missing something in the scripts?

You can set the specific options you want with SetCoverageAnalyzeOptions and SetCoverageSimulateOptions. The defaults for Riviera-PRO are as follows. I thought the “m” here is for statemachines.
`
SetCoverageAnalyzeOptions…[Read more]

Hey Jim,

One more quick question now that the expression and branch coverage report is working.

I see that Riviera has robust FSM code coverage reporting capabilities which I hope to be able to leverage in conjunction with OSVVM. I was wondering if the SetCoverageAnalyzeEnable function allows a user to gather FSM code coverage? Currently the…[Read more]

Hey Jim,

Thanks for the quick response. You’re suggestion worked and I am now only collecting the desired coverage information.

I am not running Riviera-PRO in batch mode, but I will be able to work with the current setup thanks to your reply.

Regards,
Michael

Hi Michael,
First a quick answer:
Do SetCoverageSimulateEnable true before you build OSVVM libraries as well as anything else you don’t want coverage collected for.

Why:
Currently when analyze is run for Riviera-PRO by default we do:
vcom -${VhdlVersion} -dbg -relax -work ${LibraryName} {*}${OptionalCommands} ${FileName}

The -dbg flag…[Read more]