Update systemc library build file Remove TODO and specify the cmake build target Change-Id: Iaff5dfafe695d721ca082db96e205aca6cdfec01
Kelvin is a RISC-V32IM core with a custom instruction set.
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:core_cc_library_emit_verilog
Verilog source for the Matcha SoC can be generated using:
bazel build //hdl/chisel:kelvin_cc_library_emit_verilog