Explore projects

Modèle de thèse initialement publié à git:redmine du LAAS. Télécharger et utiliser en locale (besoin latexmk + pdflatex je crois), ou en Overleaf. N'hésite pas à l'améliorer!

Resource-Constrained Scheduling Solver based on difference logic and clause learning

network diagnostic tool using the UDP echo service (not ICMP echo because some vendors cheat and prioritize ICMP echo packets to show healthy connections)

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.]

Ethernet MAC 10/100Mbps IP (OpenCores) with AXI4 (Lite) interface.

Has Linux driver support.

BE INSA

This package is intended to ease construction of CORBA servers by templating actions that are common to all servers.

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

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

Bootloader (@6000_0000) that receive file from UART and write to DDR (@8000_0000)

Build benchmark for RISC-V (default to RV64IMAC)

This is the official Low Side Synchronous Buck converter Gitlab

Cache side channel attacks for RISC-V (also works for x86)