Laboratoire TIMA

Distinctions


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.

URL : http://www.societe-informatique-de-france.fr/la-sif/membres_d_honneur/membres-honneur-2017/

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 NANOARCH 2016 symposium

Project: Titre : Multi-contex Non-volatile Content Adressable Momory using Magnetic Tunnel Junctions

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

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

18-20 Juillet 2016

 

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

 

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


URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7116265&isnumber=7116233

 

Prix de poster à la conférence MME 2015,Tolède, 20-23 septembre 2015

Project: " 26th Micromechanics and Microsystems Europe workshop"

Authors: F. Bernard1,2, F. Casset3, J.S Danel3,C. Chappaz2, S. Basrour1
1Univ. Grenoble Alpes, TIMA Laboratory, F-38031 Grenoble, France CNRS, TIMA Laboratory, F-38031 Grenoble, France
2STMicroelectronics, 850 rue Jean Monnet, 38926 Crolles, France
3CEA, LETI, MINATEC Campus, 38054 Grenoble, France

Title: CHARACTERIZATION OF A SMARTPHONE SIZE HAPTIC RENDERING SYSTEM BASED ON THIN-FILM ALN TRANSDUCTION ON GLASS


September 20-23, 2015, Toledo, Spain

 

Best Paper Award de DATE'2015

Project: Authors: Marine Saliva1, Florian Cacho1, Vincent Huard1, Xavier Federspiel1, Damien Angot1, Ahmed Benhassain1, Alain Bravaix2 and Lorena Anghel3
1STMicroelectronics, FR; 2IM2NP-ISEN, FR; 3TIMA, FR

Title: DIGITAL CIRCUITS RELIABILITY WITH IN-SITU MONITORS IN 28NM FULLY DEPLETED SOI

at the Design Automation and Test in Europe (DATE'2015) Conference

Grenoble, France


9–13 March, 2015

 

Prix du meilleur papier au "48th International Symposium on Microelectronics"

Project: "48th International Symposium on Microelectronics"

Authors: Abdelaziz Goulahsen¹, Julien Saadé², Frédéric Pétrot²
¹STMicroelectronics, Grenoble, France
²TIMA Laboratory, Université Grenoble-Alpes, Grenoble, France

Title: Line coding methods for high speed serial links


October 26-29, 2015, Orlando, Florida