TomoFPGA est un projet dédié à la conception et à la simulation de systèmes numériques programmables. Il permet l'intégration d'IP cores dans des designs FPGA et la génération de bitstreams pour des cartes FPGA. Le projet facilite le processus de développement de circuits logiques complexes et accélère la vérification des designs.

Projet dédié à la gestion et au transfert de bitstreams pour des systèmes RF-SOC (Radio Frequency System on Chip). Il permet de programmer des circuits FPGA via des commandes SSH et des outils dédiés, facilitant ainsi le déploiement et la configuration de designs matériels pour des applications radiofréquences.

VHDL est un langage de description de matériel utilisé pour la conception et la simulation de systèmes numériques. Il permet de décrire le comportement et la structure des circuits logiques, ainsi que d'effectuer des simulations pour vérifier leur fonctionnement. VHDL est souvent utilisé dans le développement de circuits logiques programmables (FPGA) et de matériel informatique.

IPECC est une IP matérielle open-source pour le calcul de multiplication scalaire sur courbes elliptiques définies dans un corps fini, conçue pour être résistante aux attaques par canal auxiliaire. Elle est destinée à une utilisation dans des circuits logiques programmables (FPGA) et des systèmes sur puce (SoC) pour des applications nécessitant un haut niveau de sécurité.

Bibliothèque simple pour gérer les intervalles dans le compilateur Faust. Permet de déterminer la taille d'une ligne de délai, de vérifier l'exécution correcte d'un programme Faust, de calculer la précision nécessaire pour les implémentations fix-point et FPGA, et de détecter et rapporter les erreurs au moment de la compilation.

Le projet intel-aero-fpga permet de configurer et de programmer des FPGA pour les drones Intel Aero. Il offre des fonctionnalités de gestion de télémesures et de commandes pour les drones, permettant une meilleure gestion des données en temps réel.

Projet open source dédié à la simulation et à la validation d'un processeur RISC-V pipeliné avec gestion des interruptions et exceptions. Basé sur une réimplémentation partielle du processeur Kôika, il permet de tester des programmes personnalisés cycle par cycle, d'effectuer des preuves formelles et de synthétiser des designs pour FPGA. Utilisé pour l'enseignement, la recherche et le prototypage matériel.

Ce projet fournit une couche logicielle pour interagir avec des systèmes embarqués utilisant le protocole IPBUS. Il permet de configurer, programmer et diagnostiquer des cartes électroniques équipées de FPGA, notamment pour la gestion de mémoire flash et la communication sécurisée avec le matériel. Utilisé principalement dans des environnements de recherche et d'industrie pour le développement et la maintenance de systèmes électroniques complexes.

Ce projet développe des programmes pour la carte électronique EDA (Arrow SoCKit) dans le cadre du projet MIM. Il inclut des outils de synthèse FPGA, des logiciels embarqués pour le test et l'acquisition de données, ainsi qu'une chaîne d'analyse hors ligne. La solution est utilisée pour contrôler des modules radiofréquences et synchroniser des bancs de test.

Ce projet est une ressource pédagogique dédiée à l'apprentissage et à la pratique de la programmation fonctionnelle. Il propose un environnement simple pour compiler et exécuter des programmes écrits en OCaml, un langage de programmation fonctionnel. Idéal pour les étudiants ou les développeurs souhaitant se familiariser avec ce paradigme.