Skip to content

Latest commit

 

History

History
291 lines (210 loc) · 12.1 KB

intro.rst

File metadata and controls

291 lines (210 loc) · 12.1 KB

Introduction

|corev| is a 4-stage in-order 32-bit RISC-V processor core. :numref:`blockdiagram` shows a block diagram of the core.

Block Diagram of |corev| RISC-V Core

License

Copyright 2020 OpenHW Group.

Copyright 2018 ETH Zurich and University of Bologna.

Copyright and related rights are licensed under the Solderpad Hardware License, Version 0.51 (the “License”); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://solderpad.org/licenses/SHL-0.51. Unless required by applicable law or agreed to in writing, software, hardware and materials distributed under this License is distributed on an “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Standards Compliance

|corev| is a standards-compliant 32-bit RISC-V processor. It follows these specifications:

[RISC-V-UNPRIV](1, 2) RISC-V Instruction Set Manual, Volume I: User-Level ISA, Document Version 20191213 (December 13, 2019), https://github.com/riscv/riscv-isa-manual/releases/download/Ratified-IMAFDQC/riscv-spec-20191213.pdf
[RISC-V-PRIV]RISC-V Instruction Set Manual, Volume II: Privileged Architecture, Document Version 20211105-signoff (November 5, 2021), https://github.com/riscv/riscv-isa-manual/releases/download/draft-20211105-c30284b/riscv-privileged.pdf
[RISC-V-RV32E]RISC-V Instruction Set Manual, Volume I: User-Level ISA, RV32E Base Integer Instruction Set, Document version 20191214-draft (January 31, 2023), https://github.com/riscv/riscv-isa-manual/releases/download/draft-20230131-c0b298a/riscv-spec.pdf
[RISC-V-DEBUG]RISC-V Debug Support, version 1.0-STABLE, 27d602966ae72e70568e4951ab90c393a6930ae4, September 11 2023, https://github.com/riscv/riscv-debug-spec/blob/2c8f38a0a46cd07f908057c5463c4b6810462146/riscv-debug-stable.pdf
[RISC-V-CLIC]Core-Local Interrupt Controller (CLIC) RISC-V Privileged Architecture Extensions, version 0.9-draft, 8/1/2023, https://github.com/riscv/riscv-fast-interrupt/blob/a187c10e07604bce977546f8ebdf362e35bcad27/clic.pdf
[RISC-V-ZBA_ZBB_ZBC_ZBS]RISC-V Bit Manipulation ISA-extensions, Version 1.0.0-38-g865e7a7, 2021-06-28, https://github.com/riscv/riscv-bitmanip/releases/download/1.0.0/bitmanip-1.0.0-38-g865e7a7.pdf
[RISC-V-ZCA_ZCB_ZCMP_ZCMT]RISC-V Standard Extension for the Zca, Zcb, Zcmp, Zcmt subsets of Zc, v1.0.0-RC5.7 (not ratified yet), https://github.com/riscv/riscv-code-size-reduction/releases/download/v1.0.0-RC5.7/Zc-v1.0.0-RC5.7.pdf
[RISC-V-CRYPTO]RISC-V Cryptography Extensions Volume I, Scalar & Entropy Source Instructions, Version v1.0.0, 2'nd December, 2021: Ratified, https://github.com/riscv/riscv-crypto/releases/download/v1.0.0-scalar/riscv-crypto-spec-scalar-v1.0.0.pdf
[OPENHW-OBI]OpenHW Open Bus Interface (OBI) protocol, version 1.6.0, https://github.com/openhwgroup/obi/blob/072d9173c1f2d79471d6f2a10eae59ee387d4c6f/OBI-v1.6.0.pdf
[OPENHW-XIF]OpenHW eXtension Interface, revision 458c8a73, https://docs.openhwgroup.org/projects/openhw-group-core-v-xif/
[SYMBIOTIC-RVFI]Symbiotic EDA RISC-V Formal Interface https://github.com/SymbioticEDA/riscv-formal/blob/master/docs/rvfi.md

Many features in the RISC-V specification are optional, and |corev| can be parameterized to enable or disable some of them.

|corev| supports one of the following base integer instruction sets:

|corev| Base Instruction Set
Base Integer Instruction Set Version Configurability
RV32I: RV32I Base Integer Instruction Set 2.1 (from [RISC-V-UNPRIV]) optionally enabled with the RV32 parameter
RV32E: RV32E Base Integer Instruction Set 2.0 (from [RISC-V-RV32E]) optionally enabled with the RV32 parameter

In addition, the following standard instruction set extensions are available from [RISC-V-UNPRIV], [RISC-V-ZBA_ZBB_ZBC_ZBS], [RISC-V-CRYPTO] and [RISC-V-ZCA_ZCB_ZCMP_ZCMT].

|corev| Standard Instruction Set Extensions
Standard Extension Version Configurability
C: Standard Extension for Compressed Instructions 2.0 always enabled
M: Standard Extension for Integer Multiplication and Division 2.0 optionally enabled with the M_EXT parameter
Zicntr: Standard Extension for Base Counters and Timers 2.0 always enabled
Zihpm: Standard Extension for Hardware Performance Counters 2.0 always enabled
Zicsr: Control and Status Register Instructions 2.0 always enabled
Zifencei: Instruction-Fetch Fence 2.0 always enabled
Zca: Subset of the standard Zc Code-Size Reduction extension consisting of a subset of C with the FP load/stores removed. v1.0.0-RC5.6 (not ratified yet; version will change) always enabled
Zcb: Subset of the standard Zc Code-Size Reduction extension consisting of simple operations. v1.0.0-RC5.6 (not ratified yet; version will change) always enabled
Zcmp: Subset of the standard Zc Code-Size Reduction extension consisting of push/pop and double move which overlap with c.fsdsp. v1.0.0-RC5.6 (not ratified yet; version will change) always enabled
Zcmt: Subset of the standard Zc Code-Size Reduction extension consisting of table jump. v1.0.0-RC5.6 (not ratified yet; version will change) always enabled
A: Atomic Instructions 2.1 optionally enabled with the A_EXT parameter
Zba: Bit Manipulation Address calculation instructions Version 1.0.0 optionally enabled with the B_EXT parameter
Zbb: Bit Manipulation Base instructions Version 1.0.0 optionally enabled with the B_EXT parameter
Zbc: Bit Manipulation Carry-Less Multiply instructions Version 1.0.0 optionally enabled with the B_EXT parameter
Zbs: Bit Manipulation Bit set, Bit clear, etc. instructions Version 1.0.0 optionally enabled with the B_EXT parameter
Zkt: Data Independent Execution Latency Version 1.0.0 always enabled
Zbkc: Constant time Carry-Less Multiply Version 1.0.0 optionally enabled with the B_EXT parameter
Zmmul: Multiplication subset of the M extension Version 0.1 optionally enabled with the M_EXT parameter

The following custom instruction set extensions are available.

|corev| Custom Instruction Set Extensions
Custom Extension Version Configurability
Xif: eXtension Interface 0.1 (not finalized yet; version will change) optionally enabled with the X_EXT parameter

Note

|corev| does not implement the F extension for single-precision floating-point instructions internal to the core. The F extension can be supported by interfacing the |corev| to an external FPU via the eXtension interface.

Most content of the RISC-V privileged specification is optional. |corev| supports the following features according to the RISC-V Privileged Specification [RISC-V-PRIV]:

|corev| supports the following ISA extensions from the RISC-V Debug Support specification [RISC-V-DEBUG]:

  • Sdext: External Debug support. Optionally enabled with the DEBUG parameter.
  • Sdtrig: Trigger Module. Optionally enabled with the DBG_NUM_TRIGGERS parameter.

Synthesis guidelines

The |corev| core is fully synthesizable. It has been designed mainly for ASIC designs, but FPGA synthesis is supported as well.

All the files in the rtl and rtl/include folders are synthesizable. The top level module is called cv32e40x_core.

The user must provide a clock-gating module that instantiates the clock-gating cells of the target technology. This file must have the same interface and module name of the one provided for simulation-only purposes at bhv/cv32e40x_sim_clock_gate.sv (see :ref:`clock-gating-cell`).

The constraints/cv32e40x_core.sdc file provides an example of synthesis constraints. No synthesis scripts are provided.

ASIC Synthesis

ASIC synthesis is supported for |corev|. The whole design is completely synchronous and uses positive-edge triggered flip-flops. A technology specific implementation of a clock gating cell as described in :ref:`clock-gating-cell` needs to be provided.

FPGA Synthesis

FPGA synthesis is supported for |corev|. The user needs to provide a technology specific implementation of a clock gating cell as described in :ref:`clock-gating-cell`.

Verification

The verification environment (testbenches, testcases, etc.) for the |corev| core can be found at core-v-verif. It is recommended that you start by reviewing the CORE-V Verification Strategy.

Contents

History

|corev| started its life as a fork of the CV32E40P from the OpenHW Group <https://www.openhwgroup.org>.

References

  1. Gautschi, Michael, et al. "Near-Threshold RISC-V Core With DSP Extensions for Scalable IoT Endpoint Devices." in IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 25, no. 10, pp. 2700-2713, Oct. 2017
  2. Schiavone, Pasquale Davide, et al. "Slow and steady wins the race? A comparison of ultra-low-power RISC-V cores for Internet-of-Things applications." 27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2017)

Contributors

Andreas Traber (*atraber@iis.ee.ethz.ch*)

Michael Gautschi (*gautschi@iis.ee.ethz.ch*)

Pasquale Davide Schiavone (*pschiavo@iis.ee.ethz.ch*)

Arjan Bink (*arjan.bink@silabs.com*)

Paul Zavalney (*paul.zavalney@silabs.com*)

Micrel Lab and Multitherman Lab
University of Bologna, Italy
Integrated Systems Lab
ETH Zürich, Switzerland