Explore projects

Modification of RISC-V softcore processor Orca.

REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection. Run on ML605 evaluation board with UART 115200.

MATANA Implementation on Chipyard (Rocket-Chip RISC-V Softcore processor) on ML605 board

Livre d'introduction à ROS

Clone of https://git.openrobots.org/projects/robotpkg-wip with branches prepared for the CI of other projects

Linux Module for : 1) R/W mmio registers. 2) Context change send info. 3) Interrupts handler.

H-Fiacre example of a puck tracking system

Customized rddlsim version for my personal use

Generate ROM with attacks for Rehad-Orca.

For synthesis, place mem.hex in ip/idram/src/input. [Request GCC cross compiler (RV32IM).] For bitsteam, replace BRAM content of myorca.bit. [Request Xilinx ISE setup and liscence.]

Robotpkg Work In Progress

Fork from https://git.openrobots.org/robots/robotpkg.git

Document de travail pour les cours de ROS-2 à l'ANF en septembre 2022

Code source of the Monte-Carlo Tree search, published at CP2021