Recherche

SLS

System Level Synthesis
créée en 1994


Thèmes de recherche

photo SLS

Les défis que posent l'intégration de systèmes complets en technologies CMOS nanométrique sont fortement liés au nombre phénoménal de processeurs que l'on peut implanter sur une puce. L'ITRS prévoit plus de 1000 processeurs en 2020 pour les applications grand public. Dans ce contexte, nous avons identifiés les axes suivants comme majeurs :
  • la définition d'architectures parallèles, configurables et reconfigurables qui permettent d'exploiter pleinement les possibilitées offertes par ces technologies ;
  • la partie logicielle de ces systèmes étant de plus en plus importantes, la définition d'infrastructures permettant de déployer de manière efficace des applications à grande échelle sur des systèmes contraints en ressources est une piste majeure ;
  • l'intégration matérielle/logicielle étant d'une grande complexité, des outils de synthèse, de génération et de simulation performant et scalables sont nécessaires

Pour s'attaquer à ces problèmes, nos recherches portent sur :
  • Architectures parallèles, configurables et reconfigurables
  • Infrastructures logicielles pour les systèmes intégrés
  • Synthèse, génération et simulation de systèmes numériques intégrés

Responsable d'équipe

MULLER Olivier

Dernières publications

Fernandez-Mesa B.J., Andrade Porras L.-L., Pétrot F., Simulation of Ideally Switched Circuits in SystemC, Asia and South Pacific Design Automation Conference (ASP-DAC 2021), Tokyo, JAPAN, DOI: 10.1145/3394885.3431417, 2021
 
Pierre L., Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions, Integration, the VLSI Journal, Ed. Elsevier, Vol. 76, pp. 190-204, DOI: 10.1016/j.vlsi.2020.06.003, 2021
 
Christ M., Forget L., De Dinechin F., Lossless Differential Table Compression for Hardware Function Evaluation / Compression de table sans perte pour l'évaluation matérielle de fonctions, , Grenoble, FRANCE, 2020
 
Trevisan Jost T., Durand Y., Fabre Ch., Cohen A., Pétrot F., VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic, International Conference on Parallel Architectures and Compilation Techniques (PACT 2020), pp. 355-356, Atlanta, UNITED STATES, 2020
 
Bruant J., Horrein P.-H, Muller O., Groleat T., Pétrot F., (System)Verilog to Chisel Translation for Faster Hardware Design, 31th International Symposium on Rapid System Prototyping (RSP 2020), Virtual Conference, FRANCE, 2020
 
Rapport annuel d'activité