TIMA laboratory


TIMA is a public joint research laboratory of the CNRS, Grenoble-INP and UGA (Shared Research Unit #5159). TIMA is a multinational team, with members and interns from all over the world. A large proportion of the research is performed in the context of cooperative projects with industrial and academic partners, supported by regional, national and European grants.

The research topics of TIMA cover the specification, design, verification, test, CAD tools and design methods for integrated systems, from analog and digital components on one end of the spectrum, to multiprocessor Systems-on-Chip together with their basic operating system on the other end.

More specifically, the Laboratory is structured in four research themes, whose main focus of investigation is characterized as follows:

  • 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

Members of TIMA contribute to many international events, participate in a large number of European research activities, and have established scientific agreements with universities and research laboratories worldwide.

TIMA is at the origin of 7 start-ups. Among the most recent ones :
- TIEMPO (2007) has been created to commercialize the asynchronous circuits conception technology invented by the CIS team
- UROMEMS (2011) emerges from the thesis results of Hamid LAMRAOUI (MNS team) in collaboration with TIMC laboratory and Pitié Salpétrière Hospital (Paris)
- HAP2U (2015) emerges from the collaboration between CEA and Skandar BASROUR (MNS team)
- ANTFIELD (2016) emerges from the works of SLS team about embedded systems modeling
The joint lab PYXCAD (2018) with the XDIGIT company has been created by the RMS team upon the conception of analog and mixed measuring interfaces.

  • 85 persons
  • 49 PhD candidates on average per year over the last 4 years
  • 11 PhD's theses on average per year over the last 4 years
  • 7 start ups
  • 2 patents on average per year over the last 4 years
Analog-to-Digital Converter

A sensor

Asynchronous analog-to-digital converter using non-uniform sampling