| [45] | 1 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| [121] | 2 | \subsubsection{\inria (CAIRN \& COMPSYS teams)} |
|---|
| [45] | 3 | |
|---|
| [120] | 4 | Inria, the French national institute for research in computer science |
|---|
| 5 | and control, operating under the dual authority of the Ministry of |
|---|
| 6 | Research and the Ministry of Industry, is dedicated to fundamental and |
|---|
| 7 | applied research in information and communication science and |
|---|
| 8 | technology (ICST). The Institute also plays a major role in technology |
|---|
| 9 | transfer by fostering training through research, diffusion of |
|---|
| 10 | scientific and technical information, development, as well as |
|---|
| 11 | providing expert advice and participating in international programs. |
|---|
| [140] | 12 | \parlf |
|---|
| [120] | 13 | By playing a leading role in the scientific community in the field and |
|---|
| 14 | being in close contact with industry, INRIA is a major participant in |
|---|
| 15 | the development of ICST in France. Throughout its eight research |
|---|
| 16 | centres in Rocquencourt, Rennes, Sophia Antipolis, Grenoble, Nancy, |
|---|
| 17 | Bordeaux, Lille and Saclay, INRIA has a workforce of 3 800, 2 800 of |
|---|
| 18 | whom are scientists from INRIA and INRIA's partner organizations such |
|---|
| 19 | as CNRS (the French National Center for Scientific Research), |
|---|
| 20 | universities and leading engineering schools. They work in 168 joint |
|---|
| 21 | research project-teams. Many INRIA researchers are also professors and |
|---|
| 22 | approximately 1 000 doctoral students work on theses as part of INRIA |
|---|
| 23 | research project-teams. |
|---|
| [140] | 24 | \parlf |
|---|
| [120] | 25 | INRIA develops many partnerships with industry and fosters technology |
|---|
| 26 | transfer and company foundation in the field of ICST - some ninety |
|---|
| 27 | companies have been founded with the support of INRIA-Transfert, a |
|---|
| 28 | subsidiary of INRIA, specialized in guiding, evaluating, qualifying, |
|---|
| 29 | and financing innovative high-tech IT start-up companies. INRIA is |
|---|
| 30 | involved in standardization committees such as the IETF, ISO and the |
|---|
| 31 | W3C of which INRIA was the European host from 1995 to 2002. |
|---|
| [140] | 32 | \parlf |
|---|
| [120] | 33 | INRIA maintains important international relations and exchanges. In |
|---|
| 34 | Europe, INRIA is a member of ERCIM which brings together research |
|---|
| 35 | institutes from 19 European countries. INRIA is a partner in about 120 |
|---|
| 36 | FP6 actions and 40 FP7 actions, mainly in the ICST field. INRIA also |
|---|
| 37 | collaborates with numerous scientific and academic institutions abroad |
|---|
| 38 | (joint laboratories such as LIAMA, associated research teams, training |
|---|
| [140] | 39 | and internship programs). |
|---|
| [120] | 40 | Two \inria project-teams participate to this project. |
|---|
| 41 | \begin{itemize} |
|---|
| [140] | 42 | \item CAIRN. The CAIRN group of INRIA Rennes -- Bretagne Atlantique study reconfigurable |
|---|
| 43 | system-on-chip, i.e. hardware systems whose configuration may change before or even during |
|---|
| 44 | execution. To this end, CAIRN has 13 permanent researchers and a variable number of PhD |
|---|
| 45 | students, post-docs and engineers. |
|---|
| [120] | 46 | CAIRN intends to approach reconfigurable architectures from three |
|---|
| 47 | angles: the invention of new reconfigurable platforms, the development |
|---|
| 48 | of associated transformation, compilation and synthesis tools, and the |
|---|
| 49 | exploration of the interaction between algorithms and architectures. |
|---|
| 50 | CAIRN is a joint team with CNRS, INSA of Rennes, University of Rennes 1 and ENS Cachan. |
|---|
| 51 | \item COMPSYS. The Compsys group of Ecole Normale Sup\'erieure de Lyon is a project-team |
|---|
| [61] | 52 | of INRIA Rh\^one-Alpes and a part of Laboratoire de l'Informatique du |
|---|
| [92] | 53 | Parall\'elisme (LIP), UMR 5668 of CNRS. It has four permanent researchers |
|---|
| [61] | 54 | and a variable number of PhD students and post-docs. Its field of |
|---|
| 55 | expertise is compilation for embedded system, optimizing compilers |
|---|
| 56 | and automatic parallelization. It has authored or contributed to |
|---|
| 57 | several well known libraries for linear programming, polyhedra manipulation |
|---|
| 58 | and optimization in general. It has strong industrial cooperations, notably |
|---|
| [140] | 59 | with ST Microelectronics and \thales. |
|---|
| [120] | 60 | \end{itemize} |
|---|
| [45] | 61 | |
|---|
| [61] | 62 | |
|---|
| [45] | 63 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 64 | \subsubsection{\tima} |
|---|
| [82] | 65 | The TIMA laboratory ("Techniques of Informatics and Microelectronics |
|---|
| 66 | for integrated systems Architecture") is a public research laboratory |
|---|
| 67 | sponsored by Centre National de la Recherche Scientifique (CNRS, UMR5159), |
|---|
| [96] | 68 | Grenoble Institute of Technology (Grenoble-INP) and Universitᅵ Joseph Fourier |
|---|
| [82] | 69 | (UJF). |
|---|
| 70 | The research topics cover the specification, design, verification, test, |
|---|
| 71 | CAD tools and design methods for integrated systems, from analog and |
|---|
| 72 | digital components on one end of the spectrum, to multiprocessor |
|---|
| 73 | Systems-on-Chip together with their basic operating system on the other end. |
|---|
| [140] | 74 | \parlf |
|---|
| [119] | 75 | Currently, the lab employs 124 persons among which 60 PhD candidates, and runs |
|---|
| [82] | 76 | 32 ongoing French/European funded projects. |
|---|
| [119] | 77 | Since its creation in 1984, TIMA funded 7 startups, patented 36 inventions |
|---|
| [82] | 78 | and had 243 PhD thesis defended. |
|---|
| [140] | 79 | \parlf |
|---|
| [82] | 80 | The System Level Synthesis Group (25 people including PhDs) is |
|---|
| 81 | involved in several FP6, FP7, CATRENE and ANR projects. |
|---|
| 82 | Its field of expertise is in CAD and architecture for Multiprocessor |
|---|
| 83 | SoC and Hardware/Software interface. |
|---|
| 84 | |
|---|
| [45] | 85 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 86 | \subsubsection{\ubs} |
|---|
| 87 | |
|---|
| [64] | 88 | The Lab-STICC (Laboratoire des Sciences et Techniques de l'Information, |
|---|
| 89 | de la Communication, et de la Connaissance), is a French CNRS laboratory |
|---|
| [119] | 90 | (UMR 3192) that groups 4 research centers in the west and south |
|---|
| 91 | Brittany: the Universit\'e de Bretagne-Sud (UBS), the Universit\'e de |
|---|
| [64] | 92 | Bretagne Occidentale (UBO), and Telecom Bretagne (ENSTB). |
|---|
| 93 | \\ |
|---|
| 94 | The Lab-STICC is composed of three departments: Microwave and equipments (MOM), |
|---|
| 95 | Digital communications, Architectures and circuits (CACS) and Knowledge, |
|---|
| 96 | information and decision (CID). The Lab-STICC represents a staff of 279 |
|---|
| [119] | 97 | peoples, including 115 researchers and 113 PhD students. |
|---|
| [64] | 98 | The scientific production during the last 4 years represents 20 |
|---|
| 99 | books, 200 journal publications, 500 conference publications, 22 |
|---|
| 100 | patents, 69 PhDs diploma. |
|---|
| [140] | 101 | \parlf |
|---|
| [64] | 102 | The UBS/Lab-STICC laboratory is involved in several national research |
|---|
| 103 | projects (e.g. RNTL : SystemC'Mantic, EPICURE - RNRT : MILPAT, ALIPTA, |
|---|
| 104 | A3S - ANR : MoPCoM, SoCLib, Famous, RaaR, AFANA, Open-PEOPLE, ICTER ...), |
|---|
| 105 | CMCU project (COSIP) and regional projects (e.g. ITR projects PALMYRE |
|---|
| 106 | ...). It is also involved in European Project (e.g. ITEA/SPICES, |
|---|
| 107 | IST/AETHER ...). These projects are conducted through tight cooperation |
|---|
| 108 | with national and international companies and organizations (e.g. France |
|---|
| [123] | 109 | Telecom CNET, MATRA, CEA, ASTRIUM, \thales Com., \thales Avionics, AIRBUS, |
|---|
| [64] | 110 | BarCo, STMicroelectronics, Alcatel-Lucent ...). Results of those or former |
|---|
| 111 | projects are for example the high-level synthesis tool GAUT, the UHLS |
|---|
| 112 | syntax and semantics-oriented editor, the DSP power estimation tool |
|---|
| 113 | Soft-explorer or the co-design framework Design Trotter. |
|---|
| [140] | 114 | \parlf |
|---|
| [64] | 115 | The CACS department of the Lab-STICC (also referred as UBS/Lab-STICC), |
|---|
| 116 | located in Lorient, is involved in COACH. |
|---|
| 117 | The UBS/Lab-STICC is working on the design of complex electronic systems |
|---|
| 118 | and circuits, especially but not exclusively focussing on real-time |
|---|
| 119 | embedded systems, power and energy consumption optimization, high-level |
|---|
| 120 | synthesis and IP design, digital communications, hardware/software |
|---|
| 121 | co-design and ESL methodologies. The application targeted by the |
|---|
| 122 | UBS/Lab-STICC are mainly from telecommunication and multimedia domains |
|---|
| 123 | which enclose signal, image, video, vision, and communication processing. |
|---|
| 124 | |
|---|
| [45] | 125 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 126 | \subsubsection{\upmc} |
|---|
| [99] | 127 | |
|---|
| [140] | 128 | University Pierre et Marie Curie (UPMC) is the largest university in France (7400 |
|---|
| 129 | employees,38000 students). |
|---|
| 130 | The Laboratoire d'Informatique de Paris 6 (LIP6) is the computer science laboratory of |
|---|
| 131 | UPMC, hosting more than 400 researchers, under the umbrella of the CNRS (Centre National |
|---|
| 132 | de la Recherche Scientifique). |
|---|
| 133 | The \og System on Chip \fg Department of LIP6 consists of 80 people, including 40 PHD |
|---|
| 134 | students. |
|---|
| [132] | 135 | The research focuses on CAD tools and methods for VLSI and System on Chip design. |
|---|
| [140] | 136 | \\ |
|---|
| [62] | 137 | The annual budget is about 3 M{\texteuro}, and 1.5 M{\texteuro} are from research contracts. |
|---|
| [140] | 138 | The SoC department has been involved in several european projects :IDPS, EVEREST, OMI-HIC, |
|---|
| 139 | OMI-MACRAME, OMI-ARCHES, EUROPRO, COSY, Medea SMT, Medea MESA, Medea+ BDREAMS, Medea+ |
|---|
| 140 | TSAR. |
|---|
| [99] | 141 | \parlf |
|---|
| [140] | 142 | The public domain VLSI CAD system ALLIANCE, developped at UPMC is installed in more than |
|---|
| 143 | 200 universities worldwide. |
|---|
| 144 | The LIP6 is in charge of the technical coordination of the SoCLib national project, and is |
|---|
| 145 | hosting the SoCLib WEB server. |
|---|
| 146 | The SoCLib DSX component was designed and developped in our laboratory. |
|---|
| 147 | It allows design space exploration and will the base of the $CSG$ COACH tools. |
|---|
| 148 | Moreover, the LIP6 developped during the last 10 years the UGH tool for high level |
|---|
| 149 | synthesis of control-dominated coprocessors. |
|---|
| [134] | 150 | This tool will be modified to be integrated in the COACH design flow. |
|---|
| [99] | 151 | \parlf |
|---|
| [140] | 152 | Even if the preferred dissemination policy for the COACH design flow will be the free |
|---|
| 153 | software policy, (following the SoCLib model), the SoC department is ready to support |
|---|
| 154 | start-ups : Six startup companies (including \zied) have been created by former |
|---|
| 155 | researchers from the SoC department of LIP6 between 1997 and 2002. |
|---|
| [45] | 156 | |
|---|
| 157 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 158 | \subsubsection{\xilinx} |
|---|
| 159 | |
|---|
| [99] | 160 | \xilinx is the world leader in the domain of programmable logic circuits (FPGA). |
|---|
| [119] | 161 | \xilinx develops on one hand several FPGA architectures (CoolRunner, Spartan and Virtex |
|---|
| [132] | 162 | families) and on the other hand a software solution allowing exploiting the |
|---|
| [99] | 163 | characteristics of these FPGA. |
|---|
| 164 | \parlf |
|---|
| [119] | 165 | The tools proposed allow the designer to describe his architecture from a modeling |
|---|
| [99] | 166 | language (VHDL/Verilog) to an optimized architecture implemented to the selected |
|---|
| 167 | technology. |
|---|
| 168 | The team located at Grenoble is responsible of the logic synthesis tool development (XST) |
|---|
| 169 | of the software solution, which aggregates all the steps allowing proceeding from a HDL |
|---|
| 170 | model to a technological netlist: |
|---|
| 171 | \begin{itemize} |
|---|
| 172 | \item Compilation of HDL code and model generation at Register Transfer Level (RTL). |
|---|
| 173 | \item RTL model optimizations. |
|---|
| 174 | \item Inference and generation of optimized macro blocks (Finite states machine, counter). |
|---|
| [119] | 175 | \item Boolean equations generation for random logic. |
|---|
| [99] | 176 | \item Logical, mapping and timing optimizations. |
|---|
| 177 | \end{itemize} |
|---|
| 178 | \parlf |
|---|
| 179 | The architectures developed by \xilinx offer a collection of technological primitives |
|---|
| 180 | (variable complexity) from simple Boolean generators (LUT) to complex DSP blocks or memory |
|---|
| [119] | 181 | and even configurable processor cores (Pico and MicroBlaze families). |
|---|
| 182 | This kind of architecture allows, therefore, the designer to validate different |
|---|
| [99] | 183 | hardware/software possibilities in a High Level Synthesis (HLS) framework. |
|---|
| 184 | \parlf |
|---|
| 185 | The classical optimization techniques focus, mainly, on the frequency aspects and on |
|---|
| 186 | available resources use. |
|---|
| 187 | The optimizations, taking into account the consumption criteria, become critical due to |
|---|
| 188 | the fact of the increase of the architecture complexity and due to the use of FPGA |
|---|
| 189 | component for low power applications. |
|---|
| 190 | |
|---|
| [45] | 191 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 192 | \subsubsection{\bull} |
|---|
| 193 | |
|---|
| [99] | 194 | \bull designs and develops servers and software for an open environment, integrating the |
|---|
| 195 | most advanced technologies. It brings to its customers its expertise and know-how to help |
|---|
| 196 | them in the transformation of their information systems and to optimize their IT |
|---|
| 197 | infrastructure and their applications. |
|---|
| 198 | \parlf |
|---|
| 199 | \bull is particularly present in the public sector, banking, finance, telecommunication |
|---|
| 200 | and industry sectors. Capitalizing on its wide experience, the Group has a thorough |
|---|
| 201 | understanding of the business and specific processes of these sectors, thus enabling it to |
|---|
| 202 | efficiently advise and to accompany its customers. Its distribution network spreads to |
|---|
| 203 | over 100 countries worldwide. |
|---|
| 204 | \parlf |
|---|
| 205 | The team participating to the COACH project is from the Server Development Department |
|---|
| 206 | based in Les Clayes-sous-Bois, France. The SD Department is in charge of developing |
|---|
| 207 | hardware for open servers (e.g. NovaScale) and HPC solutions. Its main activities range |
|---|
| 208 | from architecture specification, ASIC design/verification/prototyping to board design and |
|---|
| 209 | include also specific EDA development to complement standard tools. |
|---|
| 210 | |
|---|
| [45] | 211 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 212 | \subsubsection{\thales} |
|---|
| 213 | |
|---|
| [123] | 214 | \thales is a world leader for mission critical information systems, with activities in 3 |
|---|
| 215 | core businesses: aerospace (with all major aircraft manufacturers as customers), defence, |
|---|
| 216 | and security (including ground transportation solutions). It employs 68000 people |
|---|
| [140] | 217 | worldwide, and is present in 50 countries. \thales Research \& Technology operates at the |
|---|
| 218 | corporate level as the technical community network architect, in charge of developing |
|---|
| 219 | upstream and \thales-wide R \& T activities, with vision and visibility. In support of |
|---|
| 220 | \thales applications, TRT's mission is also to anticipate and speed up technology transfer |
|---|
| 221 | from research to development in Divisions by developing collaborations in R\&T. \thales is |
|---|
| 222 | international, but Europe-centered. Research \& Development activities are disseminated, |
|---|
| 223 | and corporate Research and Technology is concentrated in Centres in France, the United |
|---|
| 224 | Kingdom and the Netherlands. A key mission of our R\&T centres is to have a bi-directional |
|---|
| [142] | 225 | transfer, or "impedance matching" function between the scientific research network and the |
|---|
| 226 | corresponding businesses. The TRT's Information Science and Technology Group is able to |
|---|
| [140] | 227 | develop innovative solutions along the information chain exploiting sensors data, through |
|---|
| 228 | expertise in: computational architectures in embedded systems, typically suitable for |
|---|
| 229 | autonomous system environments, mathematics and technologies for decision involving |
|---|
| 230 | information fusion and cognitive processing, and cooperative technologies including man |
|---|
| 231 | system interaction. |
|---|
| 232 | \parlf |
|---|
| [123] | 233 | The Embedded System Laboratory (ESL) of TRT involved in the COACH project is part of the |
|---|
| [140] | 234 | Information Science and Technology Group. Like other labs of TRT, ESL is in charge of |
|---|
| 235 | making the link between the needs from \thales business units and the emerging |
|---|
| 236 | technologies, in particular through assessment and de-risking studies. It has a long |
|---|
| 237 | experience on parallel architectures design, in particular on SIMD architectures used for |
|---|
| 238 | image processing and signal processing applications and on reconfigurable architectures. |
|---|
| [123] | 239 | ESL is also strongly involved in studies on programming tools for these types of |
|---|
| [140] | 240 | architectures and has developed the SpearDE tool used in this project. The laboratory had |
|---|
| 241 | coordinated the FP6 IST MORPHEUS project on reconfigurable technology, being highly |
|---|
| 242 | involved in the associated programming toolset. The team is also involved in the FP6 IST |
|---|
| 243 | FET AETHER project on self-adaptability technologies and coordinates national projects on |
|---|
| 244 | MPSoC architecture and tools like the Ter\verb+@+ops project (P\^{o}le de |
|---|
| 245 | Comp\'{e}titivit\'{e} System\verb+@+tic) dedicated to the design of a MPSoC for intensive |
|---|
| [123] | 246 | computing embedded systems. |
|---|
| 247 | |
|---|
| [45] | 248 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 249 | \subsubsection{\zied} |
|---|
| 250 | |
|---|
| [123] | 251 | \zied is an innovative start-up specialized in the conception of configurable circuits |
|---|
| 252 | and the development of CAD tools. \zied provides a complete front-to-back-end generator |
|---|
| 253 | of "hardware" reprogrammable IP cores that can be embedded in ASIC and ASSP SoC designs. |
|---|
| 254 | \zied solution is based on a patented FPGA architecture delivering an unprecedented |
|---|
| 255 | level of logic density. This high capacity is accessible using a traditional RTL flow from |
|---|
| 256 | Verilog/VHDL synthesis all the way to bitstream generation. |
|---|
| [140] | 257 | \parlf |
|---|
| [123] | 258 | \zied is a spin-off from LIP6 (Laboratoire Informatique Paris 6) and was awarded at the |
|---|
| 259 | French National Competition for Business Startup and Innovative Technology in 2007 and |
|---|
| 260 | 2009 in âemergenceâ and âcreationâ categories respectively. |
|---|
| 261 | |
|---|
| [45] | 262 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|---|
| 263 | \subsubsection{\navtel} |
|---|
| 264 | |
|---|
| [99] | 265 | \navtel was created in 1994 to develop flexible systems based on FPGAs and currently |
|---|
| 266 | focuses on intelligent signal mining for knowlege based signal processing systems. |
|---|
| 267 | The company main activity covers the following domains: satellite communication, |
|---|
| 268 | aeronautics, imaging and security. |
|---|
| 269 | \navtel dedicates about 70\% of its activity to client projects in satellite, aeronautical |
|---|
| 270 | and imaging systems and 30\% to its own research programmes in collaboration with French |
|---|
| 271 | and international partners. |
|---|
| 272 | \parlf |
|---|
| 273 | The multi disciplinary technical team comprises 6 engineers for signal processing and |
|---|
| 274 | hardware development and one technician. |
|---|
| 275 | \parlf |
|---|
| 276 | \navtel has its own Ph.D program which includes in the past (classification technology |
|---|
| 277 | and MIMO for FPGA implementation) and currently the preparation of a project for remote |
|---|
| 278 | sensing with signal intelligence for satellite application. The company participates in |
|---|
| 279 | national and European level projects contributing to a strategic alliance between academic |
|---|
| 280 | and industrial partners.\\ |
|---|
| 281 | The current research covers particle filter applications for communication and RADAR, |
|---|
| 282 | Cognitive Radio, Satellite communication, embedded super computing and focuses on low |
|---|
| 283 | power algorithms for implementation in FPGA and soft computing. |
|---|
| 284 | \parlf |
|---|
| 285 | For manufacturing and industrialization, \navtel works with ISO certified partners. |
|---|
| [137] | 286 | The company clients include the CNES, Thal\`{e}s Alenia Space, Thal\`{e}s Communication, EADS, |
|---|
| [132] | 287 | Eutelsat, AIRBUS, Schlumberger. \navtel participates from the R\&D phase up to the |
|---|
| [99] | 288 | system delivery. |
|---|
| 289 | \begin{description} |
|---|
| 290 | \item[Recognitions:]\mbox{} |
|---|
| 291 | \begin{itemize} |
|---|
| 292 | \item EC Challenge+ programme for innovative projects (promotion 9) |
|---|
| 293 | \item Innovation and technology development \og Troph\'{e}es R\'{e}gion Centre \fg |
|---|
| 294 | \item Recognition by the French Senate for company creation during the |
|---|
| 295 | \og Semaine de l'entrepreneur \fg 2005. |
|---|
| 296 | \end{itemize} |
|---|
| 297 | \end{description} |
|---|