Kôika-SUSHI est un langage de conception matérielle basé sur des règles, intégré dans Rocq. Il permet de développer et de vérifier formellement des circuits électroniques, notamment des processeurs. Ce projet facilite la création de matériel fiable et optimisé grâce à des preuves mathématiques intégrées, en s'appuyant sur des approches de réécriture progressive et des outils SMT pour renforcer la robustesse des designs.

LearnV est une plateforme éducative dédiée à l'enseignement des systèmes intégrés basés sur l'architecture RISC-V. Elle propose des ressources pédagogiques complètes incluant des présentations, des manuels d'installation, des sujets de travaux pratiques et des archives techniques. Destinée aux étudiants et enseignants, elle facilite l'apprentissage des concepts matériels et logiciels liés aux systèmes embarqués et aux processeurs RISC-V.

MINOTAuR est un projet de recherche dédié à la conception et à l'évaluation de processeurs RISC-V avancés. Il propose des architectures matérielles optimisées pour des applications embarquées et haute performance. Le projet inclut des outils de simulation, des benchmarks standardisés et des méthodes d'analyse des performances. Les processeurs développés sont comparés à des références existantes pour valider leur efficacité. Les résultats sont utilisés pour publier des travaux académiques et améliorer les architectures futures.

Projet de recherche visant à évaluer et optimiser les performances des systèmes embarqués basés sur des processeurs ARM. Il permet de mesurer l'impact de différentes configurations matérielles et logicielles sur les performances globales, notamment en analysant la latence mémoire et l'efficacité des calculs parallèles. Les résultats sont utilisés pour améliorer les architectures futures et guider les choix de conception.

Projet de réexploration de matériel informatique ancien, avec pour objectif l'étude du fonctionnement de processeurs anciens. La simulation du processeur est réalisée en Python, et le logiciel Digital est utilisé pour la conception de circuits combinatoires.