Google Git
Sign in
opensecura / hw / kelvin / 9bb0dd9d19e7b9d78ac4e4bc1c9c9f7663cc63e2
commit9bb0dd9d19e7b9d78ac4e4bc1c9c9f7663cc63e2[log] [tgz]
authorDerek Chow <derekjchow@google.com>Fri Aug 01 10:35:28 2025 -0700
committerDerek Chow <derekjchow@google.com>Fri Aug 01 13:53:47 2025 -0700
treef8e72d5df56855797e67c322fb052ea2ef2289e0
parentee09cb611c1027c0d44c4beaac985ed62e67f035 [diff]
Fill in unreachable state in cvfpu.

Address ELAB-1094

Change-Id: Iea6bc593f8e02f8df0a86f5f2fb121000d3e79b2
2 files changed
tree: f8e72d5df56855797e67c322fb052ea2ef2289e0
  1. doc/
  2. examples/
  3. external/
  4. hdl/
  5. hw_sim/
  6. kelvin_test_utils/
  7. lib/
  8. platforms/
  9. rules/
  10. tests/
  11. third_party/
  12. toolchain/
  13. utils/
  14. .bazelrc
  15. .bazelversion
  16. .gitignore
  17. CONTRIBUTING.md
  18. LICENSE
  19. PREUPLOAD.cfg
  20. README.md
  21. WORKSPACE
README.md

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