Jim Lewis

Hi Per,
As you have noted, unlike StreamRecType, AddressBusRecType does not have a params field.

What I do in the Axi4Manager VC is use SetModelOptions to set an WB_ERR expected and a WB_RTY expected – sometimes coded together, sometimes coded separately. The AXI4 response codes that need to be checked are BRESP and RRESP. The way we check…[Read more]

Hi Phil,
Which OSVVM release are you running? What does the output say?

Can you email me a copy of the sim/log/ModelSim-2020.3/OsvvmLibraries_RunDemoTests.log and the OsvvmRun.yml. My email is jim at SynthWorks.com

Best Regards,
Jim

Hi Michael,
Testing a solution on the dev branch of OSVVM. I am thinking it will be ready shortly – I am thinking Monday.

Best Regards,
Jim

Hi Michael,
For Axi4Memory subordinate, I made the memory byte wide and wrote each byte separately. That made handling byte enables easy. However, it does not make reading a memory file easy.

I have plans to rewrite the storage aspect so it can be more flexible in both sizes and policies. Currently the policy is if there is an X, make all…[Read more]

Hi Michael,
I looked at this a little bit in the past.

The approach to modeling here requires thinking about the interface side (the handlers), the internal control side (for initialization and other tasks), and the transaction side (here TX and RX). I think in TestCtrl, transactions for TX and RX still need to be able to be dispatched…[Read more]

Omaima
In the future, please start a new question for a new question.

AddCross adds items to the coverage model, so you need to do this before generating values. If you do additional AddCross, that simply adds to the coverage model – even in this case when they are redundant.

Also, I no longer recommend the while loop for this…[Read more]

Hi Nagella,
I typically use an active low reset (ie: 0 when active). Did I guess wrong in your case?
Let me be a little more abstract. Lets assume the constant ACTIVE has the value that
reset has when it is active.

process
variable RV:RandomPType;
variable b:std_logic_vector( 7 downto 0);
begin
RV.Initseed(RV’instance_name);
-- i…[Read more]

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]

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]