|
发表于 2013-9-19 06:55:47
|
显示全部楼层
1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
G. Nicolescu, I. O’Connor, and C. Piguet
Part I
Methods, Models and Tools
2
Extending UML for Electronic Systems Design: A Code Generation
Perspective
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
Yves Vanderperren, Wolfgang Mueller, Da He, Fabian Mischkalla, and
Wim Dehaene
3
Executable Specifications for Heterogeneous Embedded Systems . .
41
Yves Leduc and Nathalie Messina
4
Towards Autonomous Scalable Integrated Systems . . . . . . . . . .
63
PascalBenoit, GillesSassatelli, PhilippeMaurine,Lionel Torres, Nadine
Azemard, Michel Robert, Fabien Clermidy, Marc Belleville, Diego
Puschini, Bettina Rebaud, Olivier Brousse, and Gabriel Marchesan
Almeida
5
On Software Simulation for MPSoC . . . . . . . . . . . . . . . . . .
91
Frédéric Pétrot, Patrice Gerin, and Mian Muhammad Hamayun
6
Models for Co-design of Heterogeneous Dynamically
Reconfigurable SoCs . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
Jean-Luc Dekeyser, Abdoulaye Gamatié, Samy Meftali, and
Imran Rafiq Quadri
7
Wireless Design Platform Combining Simulation and Testbed
Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Alain Fourmigue, Bruno Girodias, Luiza Gheorghe, Gabriela Nicolescu,
and El Mostapha Aboulhamid
8
Property-Based Dynamic Verification and Test
. . . . . . . . . . . . 157
Dominique Borrione, Katell Morin-Allory, and Yann Oddos
v
vi
Contents
9
Trends in Design Methods for Complex Heterogeneous Systems . . . 177
C. Piguet, J.-L. Nagel, V. Peiris, S. Gyger, D. Séverac, M. Morgan, and
J.-M. Masgonty
10
MpAssign: A Framework for Solving the Many-Core Platform
Mapping Problem
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
Youcef Bouchebaba, Pierre Paulin, and Gabriela Nicolescu
11
Functional Virtual Prototyping for Heterogeneous Systems
. . . . . 223
Yannick Hervé and Arnaud Legendre
12
Multi-physics Optimization Through Abstraction and Refinement
. 255
L. Labrak and I. O’Connor
Part II
Design Contexts
13
Beyond Conventional CMOS Technology: Challenges for New
Design Concepts
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279
Costin Anghel and Amara Amara
14
Through Silicon Via-based Grid for Thermal Control in 3D Chips
. 303
José L. Ayala, Arvind Sridhar, David Atienza, and Yusuf Leblebici
15
3D Architectures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321
Walid Lafi and Didier Lattard
16
Emerging Memory Concepts
. . . . . . . . . . . . . . . . . . . . . . 339
Christophe Muller, Damien Deleruyelle, and Olivier Ginez
17
Embedded Medical Microsystems . . . . . . . . . . . . . . . . . . . . 365
Benoit Gosselin and Mohamad Sawan
18
Design Methods for Energy Harvesting . . . . . . . . . . . . . . . . . 389
Cyril Condemine, Jérôme Willemin, Guy Waltisperger, and
Jean-Frédéric Christmann
19
Power Models and Strategies for Multiprocessor Platforms
. . . . . 411
Cécile Belleudy and Sébastien Bilavarn
20
Dynamically Reconfigurable Architectures for Software-Defined
Radio in Professional Electronic Applications . . . . . . . . . . . . . 437
Bertrand Rousseau, Philippe Manet, Thibault Delavallée, Igor Loiselle,
and Jean-Didier Legat
21
Methods for the Design of Ultra-low Power Wireless Sensor
Network Nodes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457
Jan Haase and Christoph Grimm
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475 |
|