Scientific Research Directions | TIMA - Université Grenoble Alpes

TIMA is structured in four research teams:

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

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

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