Outil open source dédié à l'optimisation et à la synthèse de haut niveau (HLS) pour les circuits électroniques. Il permet de transformer des descriptions algorithmiques en architectures matérielles optimisées, facilitant ainsi la conception de systèmes embarqués et de circuits intégrés. Le projet intègre des fonctionnalités avancées pour l'analyse de performance et la génération automatique de code VHDL ou Verilog.

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.

Ce projet permet d'analyser et d'optimiser des graphes pour résoudre des problèmes de parcours, de logistique ou de réseaux. Il facilite la modélisation de structures complexes comme des réseaux de transport, des circuits électroniques ou des flux de données. Les algorithmes intégrés aident à identifier les chemins optimaux, à détecter des goulots d'étranglement ou à simuler des scénarios d'évolution. L'outil est particulièrement utile pour les ingénieurs, les chercheurs ou les data scientists travaillant sur des systèmes interconnectés.

Outil dédié à la création, l'édition et la simulation de schémas électriques et électroniques. Permet aux ingénieurs et techniciens de concevoir des circuits, tester leur fonctionnement et optimiser leurs performances avant la phase de prototypage. Facilite la collaboration entre équipes techniques et améliore la compréhension des systèmes complexes.

Raisin est un outil spécialisé dans l'optimisation du placement de circuits électroniques sur des architectures multi-FPGA. Il modélise les circuits sous forme d'hypergraphes dirigés acycliques bicolores pour minimiser la longueur des chemins critiques, améliorant ainsi la fréquence maximale d'opération des circuits. L'outil propose des algorithmes de partitionnement, de clustering et d'affinage pour optimiser l'utilisation des ressources tout en respectant les contraintes matérielles.

Coriolis est un ensemble d'outils de conception assistée par ordinateur (CAO) pour la création et l'optimisation de circuits intégrés. Il permet la simulation de circuits électroniques et l'analyse de réseaux de transport de signaux.