nicolas-hili / flexpret

An updated version is under development for the latest versions of Chisel and RISC-V: https://github.com/pretis/flexpret/tree/riscv-2.0

FlexPRET

FlexPRET is a 5-stage, fine-grained multithreaded RISC-V* processor designed specifically for mixed-criticality (real-time embedded) systems and written in Chisel**. A hardware thread scheduler decides which hardware thread to start executing each cycle, regulated by configuration and status registers. Each hardware thread is either classified as a hard real-time thread (HRTT) or soft real-time thread (SRTT): HRTTs are only scheduled at a constant rate for hardware-based isolation and predictability (enabling independent formal verification), and SRTTs share remaining cycles (including when a HRTT doesn't need prescribed cycles) for efficient processor utilization. For comparison purposes, both single-threaded and round-robin multithreaded 5-stage RISC-V processors can also be generated. FlexPRET is developed at UC Berkeley as part of the PRET project.

For more information on the processor architecture:
Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee. "FlexPRET: A Processor Platform for Mixed-Criticality Systems". Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April, 2014.

Team:
Michael Zimmer ([email protected])
Chris Shaver ([email protected])
Hokeun Kim ([email protected])
David Broman ([email protected])

*RISC-V is an ISA developed at UC Berkeley for computer architecture research and education.

**Chisel is an open-source hardware construction language developed at UC Berkeley that generates both Verilog and a C++ emulator.

Table of Contents:
Quickstart
Directory Structure
Makefile Configuration
Tests
RISC-V Compiler
Program Compilation
Chisel
C++ Emulator
FPGA

Quickstart

We've tried to make it quick and easy to both simulate program execution on the FlexPRET processor and generate Verilog code for FPGA! If you would like to execute your own programs you will still need to install the RISC-V compiler, but we've included some pre-compiled binaries to get you started.

You will need to have java and g++ installed.

To simulate an assembly code test suite (first run may take a few minutes to download dependencies):

make run

This will simulate the execution of the program directory tests/asm-sodor on FlexPRET configured with 4 hardware threads. The default configuration is set in config.mk and can be changed. The makefile will (if needed) install SBT, download Chisel, generate a C++ emulator for the FlexPRET processor, compile the C++ emulator, excute the C++ emulator on each program in the test suite, and finally display the results.

See the tests section for information about running other programs.

make clean will remove files associated with current configuration and make cleanll will remove files associated with all configurations.

Directory Structure

• emulator/ C++ emulator and testbench for generated processors
• fpga/ Generated Verilog code and scripts for FPGA deployment
• sbt/ SBT for compiling and running Chisel
• scripts/ Various scripts
• src/ Chisel and Verilog source files
  • common/ Shared interfaces in Chisel
  • Core/ FlexPRET processor (and baseline processors) in Chisel
  • uart/ Verilog code for UART
• tests/ C and assembly programs and test suites
  • include/ Libraries and macros

Makefile Configuration

Change configuration in config.mk or by providing argument to make:

FlexPRET Configuration

• THREADS=[1-8] Specify number of hardware threads
• FLEXPRET=[true/false] Use flexible thread scheduling
• ISPM_KBYTES=[] Size of instruction scratchpad memory (32 bit words)
• DSPM_KBYTES=[] Size of instruction scratchpad memory (32 bit words)
• STATS=[true/false] Count instructions and cycles for each thread
• EXCEPTIONS=[true/false] Allow exception to interrupt execution
• GET_TIME=[true/false] Enable instruction to get current time in nanoseconds
• DELAY_UNTIL=[true/false] Enable instruction to stall until future time
• EXCEPTION_ON_EXPIRE=[true/false] Enable instruction to interrupt execution at certain time

Not all combinations are valid.

Target Configuration

• TARGET=[emulator/fpga] Select target
• DEBUG=[true/false] Generate waveform dump.

Program Configuration

• PROG_DIR=[path] Directory of programs in tests/ to compile and/or run. This is the test program that is executed when running command 'make run'. The default value 'asm-sodor' means that an assembler test suite is executed.
• PROG_CONFIG=[] Program configuration, start with target name

Regression Test

To run a regression test for many processor configurations

./run-tests.py

Tests

PROG_DIR needs to be modified to execute different programs on the emulator (e.g. PROG_DIR=simple-mc)

tests/simple-mc: A simple mixed-criticality example with 4 periodic tasks to demonstrate differences between hard real-time threads (HRTTs) and soft real-time threads (SRTTs) (More info)
tests/complex-mc: A complex mixed-criticality example with 21 periodic tasks on 8 hardware threads to demonstrate a methodology for task mapping and thread scheduling (More info)
tests/dev/*: Programs that are out-of-date, unsupported, or under development

RISC-V Compiler

We use the RISC-V GCC compiler, see riscv.org for installation instructions. The latest version is not currently supported, use revision 4806a4a74e82fd393ce8b9f3ea49d7675204d090 of riscv-tools.

Once installed, uncomment #include $(TESTS_DIR)/tests.mk. This line is commented out so the Makefile doesn't try to compile by default.

Coming soon: pre-compiled binaries of RISC-V GCC compiler for some platforms

Program Compilation

To compile new programs, create a directory in tests/ and a test.mk file within that directory. Within test.mk, define PROG with the names of the source C (also do define C=1) or assembly files, then add $(DEFAULT_RULES) at the botton. This will generate default compilation rules for the source files (located in tests/tests.mk).

To use timing instructions or other FlexPRET-specific constructs, look at files within tests/include. Look at other files within tests/ for reference.

Coming soon: More detail explanation

Chisel

We use the latest release of Chisel that's located as a JAR file online.

To learn more about Chisel, visit their website and particularly their documentation section.

C++ Emulator

Chisel will generate a C++ emulator for cycle-accurate behavior of the hardware design. A testbench is compiled with this emulator to simulate program execution. The testbench takes the following arguments:

• --maxcycles=X number of clock cycles to simulate
• --ispm=X location of initial instruction memory contents (each line 32-bit hex value)
• --dspm=X location of initial data memory contents (each line 32-bit hex value)
• --vcd=X (optional) location of vcd file to create
• --vcdstart=X (optional) cycle to start vcd creation (default is 0)

FPGA

FlexPRET has been evaluated on both a Xilinx Virtex-5 and Spartan-6 FPGA.

Coming soon: support for Xilinx target with bootloader to run program on FPGA and log results on computer via serial interface.