High-Performance Embedded Computing

ix

Contents

Preface xvii

1.1 The Landscape of High-Performance Embedded Computing 1

1.2 Example Applications 5

1.2.1 Radio and Networking 5

1.2.2 Multimedia 11

1.2.3 Vehicle Control and Operation 15

1.2.4 Sensor Networks 18

1.3 Design Goals 21

1.4 Design Methodologies 22

1.4.1 Basic Design Methodologies 24

1.4.2 Embedded Systems Design Flows 26

1.4.3 Standards-Based Design Methodologies 28

1.4.4 Design Verification and Validation 31

1.4.5 A Methodology of Methodologies 31

1.4.6 Joint Algorithm and Architecture Development 32

1.5 Models of Computation 33

1.5.1 Why Study Models of Computation? 33

1.5.2 Finite versus Infinite State 34

1.5.3 Control Flow and Data Flow ...