Skip to main content

Scientific Research Directions

TIMA is structured in four research teams:

AMfoRS : Architectures and Methods for Resilient Systems

  • Multi-level specification and verification of hardware/software on-chip architectures: formal and semi-formal approaches
  • System-level modeling, analysis and testing
  • Dependability of integrated systems: fault detection/tolerance, on-line monitoring, self-adapting and self-healing circuits
  • Dependability evaluations: fault injections and alternatives (analytical or formal approaches), prediction of ageing effects on lifetime
  • Security of integrated systems: cryptographic accelerators, counter-measures against hardware attacks



CDSI : Circuits, Devices and System Integration

  • Asynchronous circuits and systems (NoC, GALS, Reconfigurable asynchronous logic, etc.)
  • Asynchronous Technology for hardware security
  • Non uniform sampling and processing (sensors, imagers, circuits, algorithms)
  • Microsystems for medical applications
  • Micro power generators for autonomous microsystems
  • Design and technologies for Integrated Micro and Nano Systems



RMS : Reliable RF and Mixed-signal Systems

  • Design for test of analog, mixed-signal and RF circuits: new low cost BIST solutions for ADC, RF transceiver, and CMOS imagers
  • Estimation of test metrics: Aims to evaluate and explore embedded AMS/RF test solutions
  • Calibration of RF devices: post-fabrication calibration of RF circuits performed during production test with minimum cost increase
  • Embedded control for efficient energy management : optimization of The autonomy and life span of battery-operated wireless devices
  • Prediction and control of quality and energy management : multimedia applications and battery-operated wireless devices
  • High-level modeling of heterogeneous and multi-physic systems: Automation of the AMS modelling flow for the generation of high-level/reduced-order analytical models



SLS : System Level Synthesis

  • Parallel, configurable and reconfigurable architectures
  • Software frameworks for integrated systems
  • Synthesis, generation and simulation of digital integrated systems


Submitted on March 5, 2018

Updated on November 22, 2023