Mike Thompson

icon indicating a website link http://www.openhwgroup.org icon indicating an email [email protected]

icon company @openhwgroup icon location Ottawa, Ontario, Canada icon location Functional verification of RTL for ASICs and FPGAs. Sole Proprietor at Covrado and Director of Engineering, Verification Task Group at the OpenHW Group.

Results 646 comments of Mike Thompson

VCS Compiling problem for cv32e40p and PULP

Hi @yingjiezero. The bug in [uvma_obi_memory_assert.sv](https://github.com/openhwgroup/core-v-verif/blob/44bbfbfb01dc28c3ea6c2e6d2e4bc86c0c887f9e/lib/uvm_agents/uvma_obi_memory/src/uvma_obi_memory_assert.sv#L231) as reported in #2599 was resolved with #2601.

VCS Compiling problem for cv32e40p and PULP

At this point, I am not sure, so let me dig a little deeper for you. In the meantime: - try `CV_SW_MARCH=rv32imcxpulpv2_xcv` - don't waste your time on the master...

[BUG] NX flag not correctly triggered in specific cases

Hi @fly-1011, thanks for this issue. It seems you are using the CVA6 (which is great!). However, the CVA6 uses a very out-of-date version of CVFPU: ``` commit 3116391bf66660f806b45e212b9949c528b4e270 Author:...

[BUG] NX flag not correctly triggered in specific cases

The best place to discuss the CVA6's use of CVFPU is the OpenHW Group's [Mattermost](https://mattermost.openhwgroup.org/) discussion board.

[BUG] NX flag not correctly triggered in specific cases

Hi again @fly-1011, we have not forgotten this issue! :wink: As you may know, this IP was extensively verified in CV32E40P (v1.8.3) so it is more than a little surprising...

Define/Review "RTL Freeze" completion metrics

Recommend we follow the example currently being worked out by the CV32E40P v2.0.0.

Core Complex User Manual

Hi @davideschiavone. As far as I am aware, the "core complex" concept has been deferred indefinitately. I recommend that we close this Issue and remove it from the Project Board.

[BUG] CV-X-IF result transaction is ignored for offloaded instruction not writing back to the RF

Hi @StMiky, thanks for the Issue. Is this related to #300?

[BUG] RF write enable is driven by issue interface instead of the result interface

@FrancescoDeMalde-synthara, can you have a look?

[BUG] RF write enable is driven by issue interface instead of the result interface

Thanks @FrancescoDeMalde-synthara. Hi @inigodiezulzu, if you are satisfied with the above, please close this Issue.