[dv] Implement tohost termination mechanism - Update Makefile and testbench to use `$readmemh` for memory loading and detect writes to the `tohost` address. - The base test is updated to use this new `tohost` event for test termination and pass/fail checking based on the written status code. Change-Id: Ieef12b5b360645b2e3dc2dfb9263f180042ecaae
Kelvin is a RISC-V32IM core with a custom instruction set.
More information on the design can be found in the overview.
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