Méthodologies et outils
Axe transversalResponsables :
Kevin Martin, Lab-STICC (UMR 6285 – Lorient)
Mickaël Dardaillon, IETR (UMR 6164 – Rennes)
Mots clés :
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
Animateurs :
Roselyne Chotin, LIP6 (UMR 7606 – Paris)
Lioua Labrak, INL (UMR 5270 – Lyon)
Bertrand Le Gal, IRISA (UMR 6074 – Rennes)
Marie-Minerve Louerat, LIP6 (UMR 7606 – Paris
Katell Morin-Allory, TIMA (UMR 5159 – Grenoble)
Sébastien Le Nours, IETR (UMR 6164 – Rennes)
Maxime Pelcat, IETR (UMR 6164 – Rennes)
Cet axe regroupe les méthodologies et outils de conception, simulation, évaluation et vérification des systèmes électroniques et systèmes de systèmes électroniques. Les systèmes électroniques ont aujourd’hui atteint un niveau de complexité qui dépasse la maitrise et la compréhension complète par un seul être humain. La gestion des milliers de milliards de transistors d’une puce moderne n’est réalisable qu’à l’aide d’outils informatiques qui couvrent toute la chaîne de fabrication et d’approvisionnement, des spécifications à la gestion de projets, en passant par les outils liés à l’ingénierie. Ces derniers sont l’objet de cet axe du GdR SoC2.
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 défis liés à cet axe concernent :
– les méthodes de conception pour les architectures émergentes comme le calcul approximé, le « in-memory computing » et l’intelligence artificielle ;
– l’intégration de l’intelligence artificielle pour l’optimisation de circuits et la modélisation d’architectures complexes ;
– l’augmentation du niveau d’abstraction pour les architectures hétérogènes et
– la modélisation et l’optimisation de la consommation d’énergie d’un point de vue architecture et système.
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.
Les journées thématiques passées :
OSSMOSE
Open-Source Software et Matériel Open-SourcE Workshop organisé en marge de Compas 2024 : https://2024.compas-conference.fr/ Date : 2 juillet 2024 Lieu : Nantes L'objectif du workshop est de mettre en évidence les interactions réciproques entre le matériel et le...
MLIR: The Good, the Bad and the Ugly
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". L'objectif de cette journée est d'aller au delà de l'engouement pour comprendre ce qu'il est possible de faire (ou...
Journée thématique commune GdR SOC-GdR RO 2022
Vendredi 2 décembre 2022, Jussieu, Paris, salle 405 (couloir 24-25) Cette journée sera commune entre le GT OSI (Optimisation des Systèmes Intégrés) du GDR RO et l’axe thématique méthodes et outils de conception, simulation, évaluation et vérifications des systèmes du...
Journée LLVM pour les nuls
Dans le cadre des séminaires de l’axe méthodes et outils du GdR SOC2 et du groupe CLAP du GdR GPL, nous organisons une journée commune d’introduction à LLVM, intitulée LLVM pour les nuls. Elle sera composée d’une introduction au framework de compilation LLVM, suivie...
Outils pour la Synthèse de Haut Niveau
Lieu : ZoomDate : 08/04/2021 à 14hOrganisateurs :Mickaël Dardaillon, IETR, INSA RennesKevin Martin, Lab-STICC, Université Bretagne-SudMaxime Pelcat, IETR, INSA Rennes Le GdR SOC2 adresse, entre autres, les problématiques des...
Scientific Day IRT St-Exupéry & GDR SOC2: RISC-V for critical embedded systems
IRT Saint-Exupéry & GDR SOC2 continue their cooperation with the organisation of their 3rd scientific day gathering industry and academia on critical embedded systems. This year, the scientific day will be held in Paris, in partnership with the 2nd RISC-V Meetings...
Journée thématique sur les outils de prototypage virtuel de plates-formes multi/many-core
Date : 15 mai 2019 Lieu : Paris, Jussieu, salle 211 tour 55-65 Le compte-rendu de la journée est disponible ici : compte-rendu-journee-outils-simu Contexte La complexité grandissante des systèmes sur puce et leur coût prohibitif de prototypage et de conception a...
Journée Thématique Commune 2019 des GDR SOC² et RO
La journée commune 2019 entre le GT OSI du GDR RO et l’axe thématique méthodes et outils de conception, simulation, évaluation et vérifications des systèmes du GDR SOC², s'est déroulée le jeudi 28 novembre 2019 au LIP6 à Paris tour 25-26 salle 105. N'hésitez pas à...
Journée Thématique Commune des GDR SOC² et RO
La prochaine journée du GT OSI se déroulera le mercredi 10 octobre 2018 au LIP6 à Paris tour 24-25 salle 405. Cette journée sera commune entre le GT OSI du GDR RO et l'axe thématique méthodes et outils de conception, simulation, évaluation et vérifications des...
Hardware interference and temporal determinism for modern SoC
2nd SoC2 scientific days, IRT Saint Exupéry Embedded System Domain and the GDR SOC2 gathering industrials and academicsThe IRT Saint Exupéry and the CNRS GDR SOC2 pursue their cooperation with the organization of the 2ndindustrial and academic event related...
Les journées thématiques à venir :
Journée « Analyse du cycle de vie des SoCs et systèmes de calcul » le 15 novembre à Paris
Méthodologies et outils Toutes les étapes de la vie d’un composant ou d’un système (fabrication, transport, utilisation, fin de vie) ont des impacts environnementaux. L’analyse de cycle de vie (ACV) est une méthode standardisée permettant d’évaluer ces impacts. Des...
OSSMOSE
Open-Source Software et Matériel Open-SourcE Workshop organisé en marge de Compas 2024 : https://2024.compas-conference.fr/ Date : 2 juillet 2024 Lieu : Nantes L'objectif du workshop est de mettre en évidence les interactions réciproques entre le matériel et le...