Ce projet propose un cadre automatisé pour la vérification formelle de circuits matériels complexes. Il permet de vérifier des propriétés temporelles et de prouver des lemmes sur des architectures électroniques, notamment via des techniques de model-checking symbolique et de preuve automatique. L'objectif est d'améliorer la fiabilité et la robustesse des systèmes embarqués en détectant des erreurs de conception avant leur déploiement.

Ce projet propose un cours complet en électronique destiné aux candidats à l'agrégation de physique. Il couvre les bases de l'électromagnétisme, les lois de l'électrocinétique, et l'assemblage de composants pour former des systèmes électroniques complexes. Le contenu inclut des PDF détaillés du cours ainsi que des présentations pour illustrer les concepts clés. Des outils complémentaires en Python sont également fournis pour générer les figures du cours.

Ce projet consiste en la conception et la réalisation d'une carte électronique dédiée à l'acquisition de données analogiques pour des applications plasma et énergétiques. La carte APADE permet de mesurer des tensions, courants et débits de gaz, et est intégrée dans des systèmes de recherche en physique des plasmas. Elle est développée par le groupe GREPHE de l'Université Toulouse III - Paul Sabatier.

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.

Ce projet propose des démonstrations pratiques et des outils pour analyser les déséquilibres de puissance dans les systèmes de modulation de largeur d'impulsion (PWM). Il s'adresse principalement aux étudiants, enseignants et chercheurs en électronique ou électrotechnique souhaitant explorer des concepts avancés en simulation et mesure de signaux.

OpenCores est une plateforme collaborative dédiée au développement et au partage de noyaux matériels (IP cores) open source pour les circuits intégrés. Elle permet aux ingénieurs et aux passionnés d'électronique de concevoir, partager et réutiliser des composants matériels libres, favorisant ainsi l'innovation et la réduction des coûts dans la conception de systèmes numériques. La communauté contribue activement à l'amélioration et à l'expansion de la bibliothèque de composants disponibles.

Projet dédié à la conception, la configuration et l'exploitation d'un banc d'essai matériel pour le projet XIDER. Il permet de gérer des registres électroniques, de programmer des séquences de signaux, et d'analyser les données issues de capteurs ou de composants électroniques. L'outil facilite également la simulation et le test de systèmes électroniques dans un environnement contrôlé.

Projet open source permettant de construire un traceur vertical (polargraph) pour dessiner automatiquement sur une surface verticale. Le système utilise des moteurs pas à pas, des chaînes à billes et un servomoteur pour contrôler une pièce centrale tenant un stylo. Le projet inclut la conception de pièces 3D, le câblage électronique et l'adaptation du firmware et du logiciel de contrôle via Arduino et Processing.

Projet éducatif et technologique utilisant des kits électroniques pour enseigner les concepts de détection de proximité et d'obstacles. Les kits combinent des nœuds fixes et mobiles équipés de capteurs Bluetooth, télémétrie laser et alertes vibratoires. Ils permettent aux participants de comprendre les interactions entre objets connectés et d'expérimenter des systèmes d'alerte en temps réel.

Ce projet consiste en une étude de cas sur la conception de systèmes électroniques à niveau système, plus précisément un système de contrôle de vitesse pour un moteur DC utilisant une algorithmique PID. Il contient différents modèles équivalents du système, dont une implémentation en TLM avec un simulateur d'instruction set RISC-V, un modèle avec un émulateur QEMU encapsulé par RABBITS, un modèle en tant que spécification d'exécution numérique, un modèle en transfert de données timées dans SystemC AMS, un modèle en réseau linéaire de signaux dans SystemC AMS et un modèle en réseau linéaire électrique dans SystemC AMS.