Veriloga est un outil dédié à la simulation et à la vérification de circuits logiques. Il permet aux ingénieurs et concepteurs de modéliser des systèmes numériques, d'analyser les signaux et de valider des architectures matérielles avant leur implémentation physique. Son approche facilite l'optimisation des performances et la détection précoce d'erreurs dans les designs.

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.

Bibliothèque logicielle conçue pour faciliter l'intégration et l'optimisation des systèmes embarqués temps réel. Elle permet aux développeurs de simuler et valider des modèles de contrôle-commande avant leur déploiement sur matériel dédié comme les cibles Speedgoat. Utilisée dans des secteurs exigeants comme l'automobile, l'aérospatial ou l'industrie pour garantir la fiabilité et la performance des systèmes critiques.

Ce projet vise à développer et prototyper le firmware dédié à la mezzanine SPMT de la plateforme Juno. Il permet de tester et valider des fonctionnalités logicielles avant leur intégration dans des systèmes embarqués, facilitant ainsi l'innovation et l'optimisation des performances matérielles.

Outil de test et de benchmarking conçu pour évaluer les performances de systèmes embarqués ou électroniques. Permet de simuler des conditions réelles de charge et d'identifier les goulots d'étranglement dans les architectures matérielles ou logicielles. Utilisé principalement par des ingénieurs en électronique ou en développement matériel pour valider la robustesse et l'efficacité de leurs solutions.

Ce projet fournit des tests et des définitions pour valider des logiciels de calcul scientifique comme FDMNES. Il permet d'évaluer les performances et la stabilité de ces outils sur des clusters de calcul haute performance, notamment ceux du ESRF et du GSI. Les configurations matérielles variées permettent d'analyser l'adéquation entre les logiciels et les infrastructures.

Outil dédié à l'assemblage et au test de flux de données entre plusieurs nœuds matériels et logiciels. Il permet de simuler des environnements complexes pour valider des protocoles de communication, mesurer les performances et analyser les latences. Principalement utilisé dans des contextes de recherche ou de développement technique pour optimiser les transferts de données et garantir la stabilité des systèmes distribués.

Ce serveur de périphériques Tango-Controls permet de générer dynamiquement des attributs matériels pour tester et évaluer les performances du noyau Tango-Controls. Il facilite la création automatique d'attributs personnalisés ou en série, offrant un outil de benchmarking et de validation pour les développeurs travaillant avec ce framework. Idéal pour les environnements de test ou les simulations de dispositifs physiques.