SoC template comprising an open-source RISC-V processor (picorv32), an internal SRAM memory subsystem, 2 UARTs (iob-uart), a SEM core that communicates with the processor via UART_1 and an optional external DDR memory subsystem. The system also includes 16 32-bits Adders groupped in groups of 4 localized in the 4 corners of the device.

An example of a program comprising of the injection of an error in Adder2 (placed in the bottom-left corner) is available at firmware.c and the result of this program can be found in adder2_err_injection.log .

git clone --recursive [email protected]:AndreMerendeira/soc-sem.git

Access to Github by ssh is mandatory so that submodules can be updated.

The single system configuration is the system.mk file residing at the repository root. The user is free to edit the created system.mk file.

The variables that can be set are explained in the original system.mk file.

The following commands will run locally if the board selected by the BOARD variable has its compiler installed and the board is listed in the LOCAL_FPGA_LIST variable. Otherwise they will run by ssh on the server selected by the FPGA_SERVER variable.

To compile the FPGA:

make fpga

To clean FPGA files:

make fpga-clean

To clean and also delete any used FPGA vendor IP core:

make fpga-clean-ip

The following commands will run locally if the board selected by the BOARD variable is installed and listed in the LOCAL_BOARD_LIST variable. Otherwise they will run by ssh on the server selected by the BOARD_SERVER variable.

To load the board with an FPGA configuration bitstream file:

make board-load

To load the board with the most recently compiled firmware and run:

make board-run

To clean the board directory:

make board-clean

The following commands assume the RISC-V toolchain is installed. Otherwise follow the instructions below to install the toolchain.

To compile the firmware:

make  firmware

To clean the firmware directory:

make  firmware-clean

To compile the bootloader:

make bootloader

To clean the bootloader directory:

make bootloader-clean

To compile the provided console PC program to communicate with the board:

make console

To clean the console directory

make console-clean

To clean all software directories

make sw-clean

To compile and run a particular system configuration on the board selected by the BOARD variable:

make test-board-config

The following command will clean the selected directories for simulation, FPGA compilation and board run:

make clean-all

git clone https://github.com/riscv/riscv-gnu-toolchain
cd riscv-gnu-toolchain
git submodule update --init --recursive
git checkout <stable tag>
git submodule update --init --recursive

For Ubuntu OS and its variants:

sudo apt install autoconf automake autotools-dev curl python3 python2 libmpc-dev libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo gperf libtool patchutils bc zlib1g-dev libexpat-dev

To check your python version, use:

python --version

If this doesn't return Python 2.*, navigate to your /usr/bin folder and soft-link python2 to python using:

sudo ln -s python2 /usr/bin/python

For CentOS and its variants:

sudo yum install autoconf automake python3 python2 libmpc-devel mpfr-devel gmp-devel gawk  bison flex texinfo patchutils gcc gcc-c++ zlib-devel expat-devel

sudo ./configure --prefix=/path/to/riscv --enable-multilib
sudo make
export PATH=$PATH:/path/to/riscv/bin

The export PATH command should be added to the bottom of your ~/.bashrc, so that you do not have to type it for every session.