Laboratoire TIMA


Best Presentation and Paper Award at JNRSE 2017 conference (Lyon, FRANCE)

Project: Best Presentation and Paper Award at JNRSE 2017 (7èmes Journées Nationales sur la Récupération et le Stockage d'Energie)

Title: "Modeling and operating temperature tuning of a thermally activated piezoelectric generator"

Authors: Adrian Rendon-Hernandez and Skandar Basrour

Abstract: This paper deals with the finite element model of a thermally activated piezoelectric generator. Furthermore, it presents an experimentally validated temperature tuning technique based on the gap distance of the triggering system. The working principle of proposed generator relies on the multi step thermal-to-mechanical-to-electrical energy conversion, overcoming inconveniences related to fast temporal temperatura variations and large temperature differences for efficient operating of classical direct thermal energy conversion. Performance optimization can be done in the form of temperature span tuning by changing the gap distance. By increasing this parameter, it is possible to maximize the Energy up to 10 times. Experimental data suggests that output energy up to 67 μW is possible when optimal gap distance is set. This corresponds to a power density of 103 μWcm-3

May 9-10, 2017


Runner-up Best Paper Award in SBCCI 2016 conference (Belo Horizonte, BRAZIL)

Project: Runner-up Best Paper Award in lnternational Symposium on Integrated Circuits and Systems Design (SBCCI) 2016

Project: New Asynchronous Protocols for Enhancing Area and Throughput in Bundled-Data Pipelines

Authors: Jean Simatic (TIMA, CDSI), Abdelkarim Cherkaoui (TIMA, CDSI), Rodrigo Possamai Bastos (TIMA, CDSI), and Laurent Fesquet (TIMA, CDSI)

Abstract: This paper presents two new area-reduced controllers for bundled-data asynchronous pipelines in which the stages have long critical paths. The proposed protocols allow to reduce the number of required delay elements by using the falling edge of the asynchronous request to indicate data validity. For critical path lengths of 25 gates, the first presented scheme decreases the controller area by 48% and slightly increases the maximum throughput (2%) in comparison to a standard micropipeline implementation. The other more-concurrent scheme proposition leads to a 25% area reduction and a 40% improvement of the maximum pipeline throughput.

August 29 - September 3, 2016


Best Paper Award Nominee at SMACD 2017 conference (Taormina, ITALY)

Project: Best Paper Award Nominee in lnternational Conference on Synthesis, Modeling, Analysis, and Simulation Methods and Applications to Circuit Design (SMACD) 2017

Project: Importance of IR Drops on the Modeling of Laser-Induced Transient Faults

Authors: R.A. Camponogara Viera (TIMA, CDSI), P. Maurine (LIRMM, SYSMIC), J.M. Dutertre (ENSMSE, CMP), R. Possamai Bastos (TIMA, CDSI)

Abstract: Laser fault injection attacks induce transient faults by locally generating transient currents capable of temporarily flip the outputs of several gates. Many models used to simulate transient faults induced by laser consider several elements to better represent the effects of the laser on ICs. However, a laser-induced current between VDD and GND, which provokes significant IR drops, has been neglected. This paper highlights the importance of the induced IR drops on the modeling of laserinduced transient faults by using IR drop CAD tools. It also shows that laser-induced IR drops can be sufficiently strong to produce alone transient faults. As a result, the number of faults on a case-study circuit is accentuated whether IR drop effects are taken into account.

June 12-15, 2017


Dominique Borrione est membre d'honneur de la société informatique de France 2017

Project: Dominique Borrione

Professeur émérite à l’Université Grenoble Alpes, Dominique Borrione a été Professeur à l’Université de Provence, Marseille (Déc. 1983 – Août 1988) avant de muter à l’Université de Grenoble en 1988. Elle a assuré la direction des laboratoires IMAG-ARTEMIS (Jan. 1992-Déc 1995) et TIMA (janv 2007 à déc 2014) à Grenoble. Ses domaines d’expertise portent sur les langages de description et de simulation des systèmes matériels numériques, les méthodes formelles et semi-formelles pour la description, la spécification, la vérification, la synthèse de systèmes intégrés numériques.


Le 28 janvier 2017


Best Paper Award at the SNUG (Synopsys User Group) Conference

Project: Titre : Conclusive Formal Verification of Clock Domain Crossings using SpyGlass-CDC

Auteurs : Mejid Kebaili (STMicroelectronics) & Guillaume Plassan (Synopsys) (deux doctorants de TIMA/AMFORS en thèse CIFRE:
Guillaume Plassan: CIFRE avec Synopsys
Mejid Kebaili:CIFRE avec STMicroelectronics
Récompense : “Best Paper Award” from the Technical Committee

Abstract :
In modern designs, the correct propagation of data through clock domains is ensured by implementing specific synchronizer protocols.
Then, to guarantee the absence of metastability, data loss or incoherence, the functional correctness of each CDC (Clock Domain Crossing) must be verified by using formal techniques.
However, flat verification of large designs often leads to an inconclusive status (neither proved nor failed) with limited debug capabilities.
In order to ease the formal analysis, an enhanced solution, called the Reactive flow, has been developed in the context of ST / Synopsys collaboration.
It consists of automatically abstracting irrelevant parts of the design in order to provide at least a local cause for a fail.
Also, our flow generates potential missing constraints to setup the design and to guide the formal analysis.
This methodology has been performed on large CPU 64 bits Sub-Systems with positive results.

le 28/06/2016 au World Trade Center de Grenoble


Best Paper Award at the Rapido workshop (joint work with Kalray)

Project: Titre : Virtual prototyping of floating point units

Auteurs : Sarrazin G. (TIMA - SLS), Brunie N. (Kalray), Pétrot F. (TIMA - SLS)

Récompense: 2016 : Best paper award at the Rapido workshop (joint work with Kalray), circuit presented at ISSCC implementing our patented asynchronous serdes for 3D-Chips

18-20 janvier 2016


Best Paper Award at NANOARCH 2016 symposium

Project: Title: Multi-contex Non-volatile Content Adressable Memory using Magnetic Tunnel Junctions

Authors: E. Deng (TIMA, AMfoRS), L. Anghel (TIMA, AMfoRS), G. Prenat (TIMA, RMS), W. Zhao (TIMA, AMfoRS)

Award: 2016 Best Paper Award at the 12th IEEE/ACM International Symposium on Nanoscale Architectures, July 18-20, 2016, Beijing, China

July 18-20, 2016


Guillaume Plassan vainqueur régional de "Ma thèse en 180 secondes"

Project: Guillaume Plassan, doctorant TIMA en CIFRE chez Synopsys, a été très brillant pour présenter en 3 minutes au grand public, de manière imagée et théatrale, ses travaux sur la vérification des synchronisations dans les circuits multi-horloges.

Il a gagné le premier prix du Collège Doctoral de Grenoble, et le droit de poursuivre la compétition au niveau national fin mai.

Voir la vidéo

Accéder au reportage

Le 25 avril 2016


Award: VTS 2015 Best Special Session Award

Project: Authors: Barragan Manuel J., Leger Gildas, Azais Florence, Blanton R.D., Singh Adit D, Sunter Stephen

Title: Special session: Hot topics: Statistical test methods

at the VLSI Test Symposium (VTS), 2015 IEEE 33rd

Napa, Ca., 27-29 April 2015