Conception Assistée par Ordinateur, Electronic Design Automation, Electronic System Level, vérification et preuve formelle, IA pour la conception, outils open-source, modèles de calcul, compilation
La spécialisation des composants est la voie de cette décennie pour atteindre les performances tout en respectant les contraintes imposées et entraine toujours plus d’hétérogénéité. Les nouveaux paradigmes de calculs comme le calcul en mémoire ou proche mémoire, ou encore le calcul approximatif nécessitent des méthodes et des outils pour leur mise en oeuvre. L’augmentation du niveau d’abstraction et l’unification de la représentation des composants logiciels et matériels du système permettront de concevoir et programmer plus facilement ces systèmes numériques hétérogènes.
Les besoins en automatisation des outils de conception sont toujours plus grands. Une approche particulièrement prometteuse est d’utiliser les méthodes d’intelligence artificielle pour automatiser des tâches d’exploration d’espace de conception, de validation, de vérification, de génération de code ou d’architecture.
Enfin, la maitrise de la consommation d’énergie des circuits est un enjeu majeur des prochaines années. Les méthodes et outils permettant la gestion de la consommation d’un système dans sa globalité sont encore à perfectionner.
Les pistes évoquées ici sont en phase avec les recommandations clés énumérées dans le document HiPEAC vision 2021, en particulier avec la recommandation technique « straightforward », qui préconise le développement d’approches permettant d’améliorer la productivité des ingénieurs lors de la conception, production et gestion de systèmes complexes, incluant notamment des techniques d’IA.
L’axe Méthodologies et outils du GdR SoC2 consiste en l’étude des méthodes et des outils de conception, de simulation, d’évaluation et de vérification des systèmes électroniques, numériques et analogiques. Cet axe est transversal par sa présence dans l’ensemble des axes du GdR SoC2, que ce soit pour la compilation dans l’axe Calcul embarqué haute performance, la conception de système dans les axes Circuits et Systèmes AMS&RF et Systèmes connectés pour les transitions, l’analyse de système dans l’axe Systèmes robustes fiables et sécurisés, et l’intégration de l’intelligence artificielle dans les outils et pour la conception dans l’axe IA et Systèmes Embarqués.
Date : le 2 Juillet 2025 de 9:30 à 17:30
Lieu : Nantes
Organisateur : Mickaël DARDAILLON, Kevin MARTIN, Thibaut MARTY et Olivier WEPPE
Thématiques : Méthodologies et Outils
L’objectif du workshop est de mettre en évidence les interactions réciproques entre le matériel et le logiciel, à travers des outils et des architectures matérielles open-source. L’idée est de mixer des présentations avec une ou plusieurs sessions de manipulation.
En savoir plus ...
Date : le 16 Décembre 2024 de 9:30 à 16:00
Lieu : INRIA Paris, 48 Rue Barrault 75 647 Paris
Organisateur : Kevin MARTIN
Thématiques : Méthodologies et Outils
The famous paper of Gilles Kahn on KPN, entitled "The semantics of a simple language for parallel programming" was published in 1974, and we are organizing a day dedicated to dataflow models of computation to celebrate the anniversary. The goal is to travel through the various research fields that has been opened by this paper. The original paper will be presented to start the day.
Date : le 28 Novembre 2024 de 9:00 à 16:30
Lieu : Grenoble INP (GI Amphi C), 46 Avenue Félix Viallet, Grenoble
Organisateur : Arthur PERAIS
Thématiques : Méthodologies et Outils
L'objectif est de réunir la communauté nationale et de permettre des discussions informelles autour de ces thématiques, qui prennent de l'importance dans le cadre du développement de systèmes souverains tels que définis par le Chips Act européen.
En savoir plus ...
Date : le 17 Octobre 2023 de 9:30 à 16:15
Lieu : Rennes, INSA
Organisateur : Mickaël DARDAILLON, Steven DERRIEN, Kevin MARTIN, David NOVO et Simon ROKICKI
Thématiques : Méthodologies et Outils
Les GdRs SOC2 et GPL organisent une journée commune d'introduction au framework de compilation MLIR intitulée "MLIR: The Good, the Bad and the Ugly".
En savoir plus ...
Date : le 15 Novembre 2024 de 9:00 à 17:00
Lieu : Paris Jussieu
Organisateur : Maxime PELCAT
Thématiques : Méthodologies et Outils
Cette journée thématique vise à échanger sur l’état de l’art de l’analyse de cycle de vie des systèmes numériques et de leur électronique, afin de mettre en place une évaluation systématique de leurs impacts environnementaux et une démarche d’éco-conception
En savoir plus ...