core-v-verif icon indicating copy to clipboard operation
core-v-verif copied to clipboard

Functional verification project for the CORE-V family of RISC-V cores.

Results 205 core-v-verif issues
Sort by recently updated
recently updated
newest added

### Type Indicate whether the type of problem you found: * Functionally incorrect behavior ### Steps to Reproduce The DSIM simulator should not use options.per_instance = 1 for all functional...

Common Infrastructure

### Task Outcome A reviewed ISA vplan for the Zce is created. The Vplan should cover the Zcea, Zceb, and Zcee sub-extensions of Zce. ### Background information The vplan should...

cv32e40x

### Task Outcome The master implementation of the driver and sequence items in the uvma_obi_memory agent need to be implemented to fully satisfy 1p2 standards. ### Background information The current...

enhancement
task
Common Infrastructure: UVM Agent

This is a bug in both the RTL and TB. The current value of the CV32E41P `marchid` CSR is 0x4. This is inherited from the CV32E40P and must be changed...

core-v-verif is using quite outdated RISC-V compliance tests. By now (i.e. end of last year) ‘framework 2’ has been introduced and ‘framework 3’ is being worked on, see https://groups.google.com/a/groups.riscv.org/g/isa-dev/c/Luf6uWuAAlU. Issue...

enhancement
cv32e40s

### Task Outcome The OBI UVM agent properly supports atomic transactions ### Background information In the current active slave implementation of the OBI UVM Agent, ### Location Information lib/uvma_agents/uvm_obi_memory ###...

enhancement
task
Common Infrastructure: UVM Agent

In [cv32e40p/env/uvme/uvme_cv32e40p_tdefs.sv ](https://github.com/openhwgroup/core-v-verif/blob/master/cv32e40p/env/uvme/uvme_cv32e40p_tdefs.sv#L118) the size of an array is based on a hard-coded "magic number". This should be based on a parameter or macro. I recommend using [this](https://github.com/openhwgroup/core-v-verif/blob/master/cv32e40p/env/uvme/uvme_cv32e40p_macros.sv#L23) one. ###...

The [uvma_core_cntrl_agent_c](https://github.com/openhwgroup/core-v-verif/blob/master/lib/uvm_agents/uvma_core_cntrl/uvma_core_cntrl_agent.sv) agent is a component of the [core-v-verif library](https://github.com/openhwgroup/core-v-verif/blob/master/lib) of reusable UVM Agents. The cv32e40x extends this agent to create [uvma_cv32e40x_core_cntrl_agent_c](https://github.com/openhwgroup/core-v-verif/blob/master/cv32e40x/env/uvme/uvma_cv32e40x_core_cntrl_agent.sv). DSIM runs of the cv32e40x environment experience a...

improvement

### Task Outcome The OBI memory model (i.e. the new UVM agent) should be able to randomly assert gnt to exercise OBI protocol in that gnt can be randomly asserted...

This task is related to issue #721. The core testbench is peppered `ifdef VERILATOR` (or `ifndef VERILATOR`) macro checks to exclude compilation of UVM, assertions, etc. @pascalgouedo came up with...

task
cv32e40p