Mike Thompson

> Also CVE2 doc is pointing to Ibex. Was wondering if we want to remove it until there is something to point to. That is a question for @LeeHoff and...

Hi @yanicasa, can you comment on this issue?

> if the 25th bit isn't equal to zero these instruction are treated as RV64 instruction base on the RISCV bitmanip spec Hi @AyoubJalali, I believe you, but for future...

Hi @Popebl, as far as I am aware, the [RVA23U64 profile](https://github.com/riscv/riscv-profiles/blob/main/src/rva23-profile.adoc#rva23u64-mandatory-extensions) requires the Vector ISA and riscv-dv does not support that. The OpenHW Group is _considering_ a project to add...

Any update on this @DBees? If not, let's get this merged in and then issue another pull-request to better align with the Eclipse Foundation IP process. This is time sensitive...

Hi gang, I wonder if there is an update pending on this issue. My environment is very dependent on virtual interfaces and I lack the skill to debug the verilator...

Hi @YoannPruvost, can you provide some addition insight into this code coverage hole?

Yes, MIMPID can be used to identify a bug fix. See the [Bug is Found](https://docs.openhwgroup.org/projects/cv32e40p-user-manual/en/cv32e40p_v1.8.3/core_versions.html#a-bug-is-found) sub-section of the CV32E40P User Manual.

LGTM @cairo-caplan. Since we are editing `rtl/cve2_top.sv` and `rtl/cve2_core.sv` already, can you replace "ibex" with "cve2" in the top-level comment?

Hi @DBees. What is this about? The issue title references "the above", and in the context of a GitHub Issue, that doesn't make much sense. Is this a copy-paste from...