- Digital Architectures
- Many Cores, OS, Compilers
- Security, Verification
- Scientific Computing
- Integrated Heterogeneous SoC
- CAD & Chips, FPGA, RF
- Reliability & Security of integrated systems
- Quantum Information
- Quantum Computation & Communication
- Secure Quantum Networks
- Smart Systems, Electronics
- Transport Applications
Internships, Post Doc and PhD proposals (New ! January 2020)
Go to Job Offer
Softwares Developed by ALSOC, CIAN, QI and SYEL Teams
Building 24-25, office 308.
The LIP6 laboratory is a major academic contributor in the field of System on Chip. ALSOC, CIAN, QI and SYEL teams bring together a hundred people, including thirty academic staff from « Sorbonne Université» (SU) 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. LIP6 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 ALSOC, CIAN, QI and SYEL teams.
- Security and reliability of SoC are studied: hardware verification methods based on Model-checking, the study of power supply noise and clock synchronisation are addressed. Security for mixed signal systems is carefully analyzed.
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 security 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.