PDF As Well As Course Slides (Only in French) Are Joined
Total Page:16
File Type:pdf, Size:1020Kb
Transient Fault Tolerant (TFT) 32-bit RISC processor designed by iROC Technologies based on TIMA solutions Micromachined 3D view of a fingerprint Ultrasonic captured with the Transducer - based sweeping mode MEMS tactile pulse-echo system fingerprint sensor CMOS active pixel THESIS system sensor within the vacuum chamber Four-processor System 2.5 Gb/s ATM on Chip with label translator application-specific on- implemented on digital chip communication GaAs network to implement packet routing switch TIMA Laboratory ANNUAL REPORT 2004 May 2005 46, Avenue Félix Viallet 38031 Grenoble Cedex France Tel. :+33 4 76 57 45 00 Fax :+33 4 76 47 38 14 http://tima.imag.fr TIMA Annual Report 2004 3 Abstract The Laboratory has a long experience on hardware design (computer architecture, microprocessor-based architectures, VLSI) and on CAD software (multi-level and mixed-mode simulation, physical design, architectural synthesis, system-level design). Today, the Laboratory is focusing on various aspects of the design, CAD and test of circuits and systems. The Laboratory is approximately 130 people large. It is organized in research groups : Micro and Nano Systems (MNS), Reliable Mixed-signal Systems (RMS), System Level Synthesis (SLS), Verification and modeling of Digital Systems (VDS), QuaLiFication of circuits (QLF), Concurrent Integrated Systems (CIS). The Laboratory is very international : many staff members enjoy 2 countries of citizenship, and there are many foreign researchers and visitors (usually more than 20 countries of citizenship). The Laboratory is also hosting the CMP Service, serving for chips and microsystems fabrication, down to 90 nm. Two multidisciplinary projects are ongoing. One is concerned with the development of the WUCS, Wireless Universal Control System, in view of Ambient Intelligence, and the most recent one is dealing with Quantum Architectures, in cooperation with LEIBNIZ, a theoretical computer science Grenoble-based Lab for Quantum Computing and with Physics and Chemistry Labs working on the implementation of quantum dots. Keys issues in 2004 have been to preserve the EUROSOC project in view of a strong development in 2005, the development of a new paradigm on CAD for Bio-Nanodevices, the consolidation of TAST, the TIMA Asynchronous Synthesis Tools and the development of a full identification system for an integrated tactile fingerprint sensor. In 2004, the Laboratory chaired or co-chaired IOLT in Funchal, THERMINIC in Sophia-Antipolis, DTIP in Montreux, IMSTW in Portland, DFT in Cannes, EWHRE in Grenoble, EMN in Paris. In addition, one summer school has been organized on Multiprocessor SoCs. The Report is organized into 8 main sections including the Research and Service activities, the Resources and the Technology Transfer activities. _________________________ Any further information may be obtained from B. COURTOIS, TIMA, 46 avenue Félix Viallet, 38031 GRENOBLE Cedex, FRANCE. Tel : +33 4 76 57 46 15, Fax : +33 4 76 47 38 14, E-mail : [email protected], http://tima.imag.fr TIMA Annual Report 2004 5 Contents 1 Overview………………………………………………………………………… 07 1-1 Organization…………………………………………………………………………….. 07 1-2 Research themes………………………………………………………………………. 08 1-3 Some past realizations of the laboratory…………………………………………….. 09 1-4 Some data on the Grenoble's environment………………………………………….. 14 2 Research Activities……………………………………………………………. 17 2-1 Micro and Nano Systems (MNS)……………………………………………………… 17 2-2 Concurrent Integrated Systems (CIS)……………………………………………….. 31 2-3 Reliable Mixed-signal Systems (RMS)……………………………………………… 49 2-4 System Level Synthesis (SLS)……………………………………………………….. 63 2-5 Verification and modeling of Digital Systems (VDS)……………………………….. 71 2-6 QuaLiFication of circuits (QLF)……………………………………………………….. 83 2-7 Multidisciplinary projects………………………………………………………………. 97 2-7.1 Wireless Universal Control Systems for Ambient Intelligence……………... 97 2-7.2 Architectures based on quantum effects……………………………………... 99 3 Service Activity – CMP……………………………………………………….. 101 4 Resources……………………………………………………………………….. 117 4-1 Human resources………………………………………………………………………… 117 4-1.1 Members of the Laboratory……………………………………………………… 117 4-1.2 Biographies of staff members………………………………………………….. 121 4-1.3 Research interests of Ph.D. candidates……………………………………….. 137 4-2 Tima networks and computer equipment……………………………………………… 143 4-3 Financial resources……………………………………………………………………… 147 5 Cooperative Activities………………………………………………………… 155 5-1 Contracts………………………………………………………………………………... 155 5-2 European projects and MEDEA projects……………………………………………. 155 5-2.1 Summary………………………………………………………………………… 155 5-2.2 Details……………………………………………………………………………. 156 5-2.2.1 European Projects that came to the end in 2003 or before……………… 156 5-2.2.2 New European Projects or European Projects still ongoing in 2004……. 162 5-3 International cooperation agreements………………………………………………. 165 5-4 National cooperation…………………………………………………………………… 166 5-5 International activities…………………………………………………………………. 167 5-6 Awards and distinctions……………………………………………………………….. 174 6 Technology Transfer Activities……………………………………………… 177 6-1 Technical tasks…………………………………………………………………………. 177 6-1.1 Industrial transfers………………………………………………………………. 177 6-1.2 Patents……………………………………………………………………………. 177 6-1.3 Industrial circuit fabrication…………………………………………………….. 178 6-1.4 Consulting………………………………………………………………………… 178 6-1.5. Creation of spin-off companies………………………………………………… 179 6-1.6. Technical Advisory Board membership………………………………………. 180 6-2 Educational tasks………………………………………………………………………. 180 6-2.1 Courses and tutorials…………………………………………………………… 181 6-2.2 Seminars…………………………………………………………………………. 182 6-2.3 Support of universities teaching programs…………………………………… 184 6-2.4 Participation in EU educational programs…………………………………….. 185 6-2.5 University/industry joint research programs………………………………….. 185 6-2.6 Interactive course……………………………………………………………….. 186 TIMA Annual Report 2004 6 7 Publishing………………………………………………………………………. 191 7-1 Electronic publishing…………………………………………………………………… 191 7-2 Books and magazines…………………………………………………………………. 192 7-3 Conferences and workshops………………………………………………………….. 196 7-4 Theses…………………………………………………………………………………… 207 7-5 Patents…………………………………………………………………………………… 209 8 Miscellaneous………………………………………………………………….. 211 8-1 What did they do after graduating from the laboratory (1984-2004)……………… 211 8-2 Press articles in 2004………………………………………………………………….. 227 8-3 Social life and cultural life……………………………………………………………… 243 TIMA – Annual Report 2004 Overview 7 1 - Overview 1-1 Organization Since the late 60s, the members of the Laboratory have dealt with projects and tools on hardware and software: Hardware - AI oriented machines OPALE machine - Computers: LAIOS lattice the geo-physical machine SPAN mechanisms GEOPROCESSOR (1970/1975) SYMBION architecture the PASCAL machine PASCHLL - VLSI (1972/1981) - Macrosystems and Microsystems - Microprocessor-based architectures : electronic exchange system Software CANOPUS the CORAIL machine - Electrical simulation the CRESUS project IMAG 2 - Microprocessor type circuits : IMAG 3 microsequencer MSQ IMAG 4 microprocessor 8 bits NMOS P68 - Digital simulation microcomputer 4 bits SOS MOM 400 CASSANDRE the MOSAIC project for the LASCAR architecture of VLSI systems - System simulation series line control by LISA LASSO microcontroller - Multilevel, mixed-mode simulation microprocessor 8 bits POPY CASCADE microprocessor 8048 CMOS - Physical design microcontroller COBRA LUCIE mathematical coprocessor FELIN - Architectural synthesis compiled microprocessor 6502 AMICAL MAPS controller - Verification 1553 controller PREVAIL - Co-design COSMOS This experience serves as background to research in the field of the Design and Test of circuits and systems. In 2004, the Laboratory was organized in 6 research groups, as listed below : MiCro and Nano Systems (MNS), S. Basrour & B. Courtois Concurrent Integrated Systems (CIS), M. Renaudin Reliable Mixed-signal Systems (RMS), S. Mir System Level Synthesis (SLS), A.A. Jerraya Verification and modeling of Digital Systems (VDS), D. Borrione QuaLiFication (QLF), R. Velazco TIMA – Annual Report 2004 Overview 8 1-2 Research themes Each topic of the research groups is briefly described below : Micro and Nano Systems (S. Basrour & B. Courtois) This research group addresses the following topics : - micro systems: technologies, design and test, applications - nano systems: architectures based on quantum effects - CAD for nanosensors - nanosprint : an infrastructure for nanotechnology foresight Concurrent Integrated Systems (M. Renaudin) This research group addresses the following topics : - asynchronous circuits and systems (design and CAD tools) - microprocessors smart devices - low power, low noise circuit design - secure chip design - asynchronous mixed-signal and RF circuits Reliable Mixed-signal Systems (S. Mir) This research group addresses the following topics : - test of analogue, mixed-signal, and RF circuits - CAD tools for testing - design and test of microsystems - deep submicron analogue and mixed-signal design System Level Synthesis (A.A. Jerraya) This research group addresses the following topics : - application-specific multi-processor system on chip - software and RTOS synthesis - on-chip communication network - validation and prototyping of heterogeneous systems - flexible & reconfigurable architectures Verification and modeling of Digital Systems (D. Borrione) This research group addresses the following topics : - specification languages - symbolic simulation