Kelvin HW design

Clone this repo:
  1. fb6ba01 Finish intrinsic coverage for indexed stores by David Gao · 2 weeks ago master
  2. 57e3ee8 Remaining segmented load tests by Naveen Dodda · 2 weeks ago
  3. d1b0689 Increase sizes for tests that are timing out by Matthew Wilson · 12 days ago
  4. b4920b0 Add GF22 Compiled Memories to Design by Stefan Hall · 3 weeks ago
  5. 506654c Buildify cocotb, verilator-sim and chisel/common by Matthew Wilson · 13 days ago

Kelvin

Kelvin is a RISC-V32IM core with a custom instruction set.

Kelvin block diagram

More information on the design can be found in the overview.

Getting Started

  • If you are hardware engineer looking to integrate Kelvin into your design, check out our integration guide.
  • If you are a software engineer looking to write code for Kelvin, start with this tutorial.

Building

Kelvin uses bazel as it's build system. The Verilated simulator for Kelvin can be generated using:

bazel build //tests/verilator_sim:core_sim

The verilog source for the Kelvin core can be generated using:

bazel build //hdl/chisel/src/kelvin:core_cc_library_emit_verilog

Verilog source for the Matcha SoC can be generated using:

bazel clean --expunge  # To generate the ToT sha
bazel build //hdl/chisel:matcha_kelvin_verilog