j4fsoc

Setup dev environment

nix develop

Overview

The toolchain installation script installs the following tools:

• RISC-V GNU Toolchain: GCC and accompanying compiler tools
• elf2hex: executable file to hexadecimal converter
• bin2coe: binary file to COE format for Vivado IDE
• QEMU: emulator 1
• buildroot (optionally): embedded linux distribution builder
• j4frv32emu: emulator 2
• Spike: functional RISC-V model
• Yosys: framework for RTL synthesis tools
  • SymbiYosys
  • Mutation Cover with Yosys
• Verilator: open-source Verilog simulator
• Verible: open-source SystemVerilog linter
• RISC-V Sail Model: golden reference model for RISC-V
• OSU Skywater 130 cell library: standard cell library
• RISCOF: RISC-V compliance test framework
• j4fos: rtos for debugging

Vivado considerations

https://github.com/barbedo/vivado-git

Verilator and scheduling considerations

• std::randomized are not supported in vanila version
• Dynamic scheduler by Antmicro

TODO:

• TODO: use OpenLane or OpenLane2 (F) container instead of this tools bunch.
• TODO: add Yocto instead of buildroot
• TODO: use UVM built-in classes
• TODO: REST API for co-simulation (or use CoCoTb)
  • SOmething like that maybe