MemPool is a many-core system targeting image processing applications. It implements 256 RISC-V cores that can access a large, shared L1 memory in at most five cycles.
This repository contains the software and hardware of MemPool, as well as infrastructure for compilation and simulation.
The repository is structured as follows:
configcontains the global configurations that are used by software as well as hardware.hardwareis where the RTL code and simulation scripts are.scriptscontains useful scripts such as linting or formatting scripts.softwareprovides example applications and MemPool's runtime.toolchainholds third-party packageshalideis the compiler infrastructure for the Halide language.llvm-projectprovides the LLVM compiler infrastructure.riscv-gnu-toolchaincontains the RISC-V GCC compiler.riscv-isa-simis an extended version of Spike and is used as the golden model and to parse simulation traces.riscv-opcodesis an extended version of riscv-opcodes that contains our custom image processing extension.verilatorprovides the open-source RTL simulator Verilator.
Make sure you clone this repository recursively to get all the necessary submodules:
git submodule update --init --recursiveIf the repository path of any submodule changes, run the following command to change your submodule's pointer to the remote repository:
git submodule sync --recursiveMemPool requires to patch a few hardware dependencies. To update the dependencies and apply the patches, run the following command after checking out in the project's root directory:
make update-depsMemPool requires at least the RISC-V GCC toolchain to compile applications. It also supports LLVM, which depends on GCC. To implement image processing kernels, MemPool also supports Halide, a domain-specific language built on top of C++. Its compilation process is based on LLVM.
To build these toolchains, run the following commands in the project's root directory.
# Build both compilers (GCC and LLVM)
make toolchain
# Build only GCC
make tc-riscv-gcc
# Build only LLVM
make tc-llvm
# Build Halide
make halideWe use Bender to generate our simulation scripts. Make sure you have Bender installed, or install it in the MemPool repository with:
# Install Bender
make benderThe RTL simulation, or more specifically, the tracing in the simulation, relies on the SPIKE simulator. To build it, run the following command in the project's directory:
# Build Spike
make riscv-isa-simMemPool supports ModelSim and the open-source Verilator for RTL simulation. Use the following command to build and install Verilator:
# Build Verilator
make verilatorYou will need an LLVM installation.
The software/apps folder contains example applications that work on MemPool. MemPool also contains some Halide example applications in the software/halide folder and OpenMP applications in the software/omp folder. Run the following command to build an application. E.g., hello_world:
# Bare-metal applications
cd software/apps
make hello_world
# Halide applications
cd software/halide
make matmul
# OpenMP applications
cd software/omp
make omp_parallelYou can also choose the compiler to build the application with using the COMPILER option. The possible options are gcc and llvm, the former being the default.
# Compile with LLVM instead of GCC
make COMPILER=llvm hello_worldTo run applications designed for the Xpulpimg extension, be sure to select the gcc compiler option.
If all the Xpulpimg instructions implemented in Snitch at compilation time are supported by the Xpulpimg subset of the GCC compiler, you can build your application with the option XPULPIMG set to 1:
# Compile with GCC supporting Xpulpimg instruction set
make COMPILER=gcc XPULPIMG=1 hello_worldOtherwise, if new Xpulpimg instructions have been implemented in Snitch, but the Xpulpimg extension in the compiler does not support them yet, you must be sure to use Xpulpimg instructions only in an asm volatile construct within your C/C++ application, and set XPULPIMG=0. This will work as long as Xpulpimg is a subset of Xpulpv2.
If XPULPIMG is not forced while launching make, it will be defaulted to the xpulpimg value configured in config/config.mk. Note that such parameter in the configuration file also defines whether the Xpulpimg extension is enabled or not in the RTL of the Snitch core, and whether such Xpulpimg functionalities have to be tested or not by the riscv-tests unit tests.
The system is provided with an automatic unit tests suit for verification purposes; the tests are located in riscv-tests/isa, and can be launched from the top-level directory with:
make testThe unit tests will be compiled, simulated in Spike, and run in RTL simulation of MemPool.
The compilation and simulation (for both Spike simulator and MemPool RTL) of the unit tests also depends on the xpulpimg parameter in config/config.mk: the test cases dedicated to the Xpulpimg instructions will be compiled and simulated only if xpulpimg=1.
To add more tests, you must add your own ones to the riscv-isa infrastructure; more information can be found in software/riscv-tests/README.md.
The unit tests are included in the software package of software and can be compiled for MemPool by launching in the software directory:
make COMPILER=gcc testNote that the unit tests need to be compiled with gcc. The same logic of normal applications concerning the XPULPIMG parameter applies for tests.
MemPool follows LLVM's coding style guidelines when it comes to C and C++ code. We use clang-format to format all C code. Use make format in the project's root directory before committing software changes to make them conform with our style guide through clang-format.
To simulate the MemPool system with ModelSim, go to the hardware folder, which contains all the SystemVerilog files. Use the following command to run your simulation:
# Go to the hardware folder
cd hardware
# Only compile the hardware without running the simulation.
make compile
# Run the simulation with the *hello_world* binary loaded
app=hello_world make sim
# For Halide applications use the `halide-` prefix: E.g., to run `matmul`:
app=halide-matmul make sim
# Run the simulation with the *some_binary* binary. This allows specifying the full path to the binary
preload=/some_path/some_binary make sim
# Run the simulation without starting the gui
app=hello_world make simc
# Generate the human-readable traces after simulation is completed
make trace
# Generate a visualization of the traces
app=hello_world make tracevis
# Automatically run the benchmark (headless), extract the traces, and log the results
app=hello_world make benchmarkYou can set up the configuration of the system in the file config/config.mk, controlling the total number of cores, the number of cores per tile and whether the Xpulpimg extension is enabled or not in the Snitch core; the xpulpimg parameter also control the default core architecture considered when compiling applications for MemPool.
To simulate the MemPool system with Verilator use the same format, but with the target
make verilateIf, during the Verilator model compilation, you run out of space on your disk, use
export OBJCACHE=''to disable the use of ccache. Keep in mind that this will make the following compilations slower since compiled object files will no longer be cached.
If the tracer is enabled, its output traces are found under hardware/build, for both ModelSim and Verilator simulations.
Tracing can be controlled per core with a custom trace CSR register. The CSR is of type WARL and can only be set to zero or one. For debugging, tracing can be enabled persistently with the snitch_trace environment variable.
To get a visualization of the traces, check out the scripts/tracevis.py script. It creates a JSON file that can be viewed with Trace-Viewer or in Google Chrome by navigating to about:tracing.
We also provide Synopsys Spyglass linting scripts in the hardware/spyglass. Run make lint in the hardware folder, with a specific MemPool configuration, to run the tests associated with the lint_rtl target.
MemPool is released under permissive open source licenses. Most of MemPool's source code is released under the Apache License 2.0 (Apache-2.0) see LICENSE. The code in hardware is released under Solderpad v0.51 (SHL-0.51) see hardware/LICENSE.
Note, MemPool includes several third-party packages with their own licenses:
software/runtime/printf.{c,h}is licensed under the MIT license.software/runtime/omp/libgomp.his licensed under the GPL license.software/riscv-testsis an extended version of RISC-V's riscv-tests repository licensed under a BSD license. Seesoftware/riscv-tests/LICENSEfor details.
The hardware folder is licensed under Solderpad v0.51 see hardware/LICENSE. We use the following exceptions:
hardware/tb/dpi/elfloader.cppis licensed under a BSD license.hardware/tb/verilator/*is licensed under Apache License 2.0 seeLICENSEhardware/tb/verilator/lowrisc_*contain modified versions of lowRISC's helper libraries. They are licensed under Apache License 2.0.
scripts/run_clang_format.pyis licensed under the MIT license.
The following compilers can be used to build applications for MemPool:
toolchain/halideis licensed under the MIT license. See Halide's license for details.toolchain/llvm-projectis licensed under the Apache License v2.0 with LLVM Exceptions. See LLVM's DeveloperPolicy for more details.toolchain/riscv-gnu-toolchain's licensing information is available here
We use the following RISC-V tools to parse simulation traces and keep opcodes consistent throughout the project.
toolchain/riscv-isa-simis licensed under a BSD license. See riscv-isa-sim's license for details.toolchain/riscv-opcodescontains an extended version of riscv-opcodes licensed under the BSD license. Seetoolchain/riscv-opcodes/LICENSEfor details.
The open-source simulator Verilator can be used for RTL simulation.
toolchain/verilatoris licensed under GPL. See Verilator's license for more details.
If you want to use MemPool, you can cite us:
@InProceedings{MemPool2021,
author = {Matheus Cavalcante and Samuel Riedel and Antonio Pullini and Luca Benini},
title = {{MemPool}: A Shared-{L1} Memory Many-Core Cluster with a Low-Latency Interconnect},
booktitle = {2021 Design, Automation, and Test in Europe Conference and Exhibition (DATE)},
year = 2021,
month = mar,
address = {Grenoble, FR},
pages = {701-706},
doi = {10.23919/DATE51398.2021.9474087}
}
This paper is also available at arXiv, at the following link: arXiv:2012.02973 [cs.AR].