• Digital Architectures
  • Many Cores, OS, Compilers
  • Security, Vérification
  • Scientific Computing


  • Heterogeneous SoC
  • CAD & Chips, FPGA, RF
  • MEMS, Secure Arithmetic

QI Team

  • Quantum Information
  • Quantum Computation & Communication
  • Cryptography
  • Secure Quantum Networks


  • Smart Systems, Electronics
  • E-Health
  • Transport Applications

PhD proposals (New ! September 2017)

Go to Offres de thèse

Softwares Devellopped at SoC Departement

Logo Alliance
Digital CAD toolchain
Digital CAD P&R toolchain
Tera-Scale ARchitecture
Analog Design
Static Timing Analyser

Team Leader

Marie-Minerve Louërat

Building 24-26, office 308.

Short Description

The department is a major academic contributor in the field of System on Chip. It brings together a hundred people, including thirty academic staff from « Université Pierre et Marie Curie » (UPMC) and « Centre National de la Recherche Scientifique » CNRS. Our research activities are organised into four main area:

  • Many core architectures contain hundreds or thousands of heterogeneous cores. They are studied following software aspects (data-flow modelling and co design of software and hardware), execution environments (operating systems tailored to many core architectures) and hardware architectures.
  • Structure of dynamic systems changes over time. The department is studying in particular the design of low power wireless sensor networks and receivers for Software Radio. Reconfigurable architectures are also addressed by integrating them into chips and for specific applications such as cryptography.
  • Heterogeneous systems bring together, in a multi-physic context, software and digital functions, analog, MEMS and RF. The study of their modelling and simulation using SystemC-AMS and their prototyping is a transverse axis of the department.
  • Safety and reliability of SoC are studied: hardware verification methods based on Model-checking, the study of power supply noise and clock synchronisation are addressed.

These four axis find applications in transport and health.


  • ALSOC Team - Integrated on chip multiprocessor systems, real time systems, formal verification systems and generating optimized code for a target architecture.
  • CIAN Team - architectures, methods and tools for the modelling, the simulation, the design and the verification of mixed and heterogeneous circuits.
  • QI Team - Quantum Information.
  • SYEL Team - modeling performance of heterogeneous systems, signal integrity, low power wireless sensor network, software radio and e-health applications.