System Level Design with Rosetta (eBook)

Perry Alexander (Autor)

eBook Download: PDF

2011 | 1. Auflage
384 Seiten
Elsevier Science (Verlag)
978-0-08-049837-9 (ISBN)

Infos

The steady and unabated increase in the capacity of silicon has brought the semiconductor industry to a watershed challenge. Now a single chip can integrate a radio transceiver, a network interface, multimedia functions, all the glue needed to hold it together as well as a design that allows the hardware and software to be reconfigured for future applications. Such complex heterogeneous systems demand a different design methodology. A consortium of industrial and government labs have created a new language and a new design methodology to support this effort. Rosetta permits designers to specify requirements and constraints independent of their low level implementation and to integrate the designs of domains as distinct as digital and analog electronics, and the mechanical, optical, fluidic and thermal subsystems with which they interact.

In this book, Perry Alexander, one of the developers of Rosetta, provides a tutorial introduction to the language and the system-level design methodology it was designed to support.

* The first commercially published book on this system-level design language

* Teaches you all you need to know on how to specify, define, and generate models in Rosetta

* A presentation of complete case studies analyzing design trade-offs for power consumption, security requirements in a networking environment, and constraints for hardware/software co-design

---

The steady and unabated increase in the capacity of silicon has brought the semiconductor industry to a watershed challenge. Now a single chip can integrate a radio transceiver, a network interface, multimedia functions, all the "e;glue"e; needed to hold it together as well as a design that allows the hardware and software to be reconfigured for future applications. Such complex heterogeneous systems demand a different design methodology. A consortium of industrial and government labs have created a new language and a new design methodology to support this effort. Rosetta permits designers to specify requirements and constraints independent of their low level implementation and to integrate the designs of domains as distinct as digital and analog electronics, and the mechanical, optical, fluidic and thermal subsystems with which they interact.In this book, Perry Alexander, one of the developers of Rosetta, provides a tutorial introduction to the language and the system-level design methodology it was designed to support.* The first commercially published book on this system-level design language* Teaches you all you need to know on how to specify, define, and generate models in Rosetta* A presentation of complete case studies analyzing design trade-offs for power consumption, security requirements in a networking environment, and constraints for hardware/software co-design

Inhalt

Front Cover 1
System-Level Design with Rosetta 4
Copyright Page 5
Contents 8
Acknowledgments 18
Foreword 20
Preface 24
Part I: Introduction 28
Chapter 1. Introduction 30
1.1 What is System-Level Specification? 30
1.2 Rosetta’s Design Goals 31
1.3 Anatomy of a Specification 33
1.4 Learning Rosetta 40
Part II: The Expression Language 44
Chapter 2. Items, Values, Types, and Declarations 46
2.1 Labels, Values, and Types 46
2.2 Item Declarations and Type Assertions 49
2.3 Universal Operations 52
Chapter 3. Expressions 56
3.1 Atomic Expressions 56
3.2 Function Application 57
3.3 Operator Application 58
3.4 If Expressions 60
3.5 Case Expressions 64
3.6 Let Expressions 67
3.7 Compound Expressions 69
Chapter 4. Elemental Types 72
4.1 The Boolean Type 72
4.2 The Number Types 74
4.3 The Character Type 86
4.4 The Element Type 87
4.5 The Top and Bottom Types 87
4.6 Element Literals 88
4.7 Operator Result Types 92
Chapter 5. Composite Types 94
5.1 Type Formers 94
5.2 Set Types 95
5.3 Multiset Types 100
5.4 Sequence Types 105
Chapter 6. Functions 118
6.1 Direct Function Definition 119
6.2 Function Values and Function Types 128
6.3 Evaluating Functions 130
6.4 Universally Quantified Parameters 139
Chapter 7. Higher-Order Functions 142
7.1 Domain, Range, and Return Functions 143
7.2 Alternate Higher-Order Function Notation 146
7.3 Minimum and Maximum 147
7.4 Quantifiers and Comprehension 148
7.5 Sequences and Higher-Order Functions 151
7.6 Function Inclusion and Composition 153
Chapter 8. User-Defined Types 158
8.1 Defining New Types 159
8.2 Defining Types By Extension 162
8.3 Defining Types By Comprehension 164
8.4 Defining Constructed Types 165
8.5 Functions as Type Definition Tools 169
Part III: The Facet Language 172
Chapter 9. Facet Basics 174
9.1 A First Model — An AM Modulator 175
9.2 Composing Models — Adding Constraints 177
9.3 Combinational Circuits — A Simple Adder 178
9.4 Defining State — A 2-bit Counter 180
9.5 Defining Structure — A 2-bit Adder 182
9.6 Specification Reuse — Using Packages 183
9.7 Abstract Specification — Architecture Definition 184
Chapter 10. Defining Facets 188
10.1 Direct Facet Definition 189
10.2 Separable Definitions 198
10.3 Facets and Hardware Description Languages 201
10.4 Facet Styles 202
10.5 Scoping Rules 206
10.6 Basics of Facet Semantics 209
Chapter 11. Packages, Libraries, and Components 214
11.1 Packages 214
11.2 Libraries 219
11.3 Components 221
Part IV: Domains and Interactions 228
Chapter 12. Domains 230
12.1 Elements of a Domain 230
12.2 The Standard Domains 234
12.3 Domains and Facet Types 252
Chapter 13. Reflection 256
13.1 Template Expressions and AST Structures 256
13.2 Interpreting AST Structures 258
13.3 Domain Declarations 263
13.4 Defining Engineering Domains 265
13.5 Defining New Model-of-Computation Domains 266
13.6 Defining New Unit-of-Semantics Domains 266
13.7 Defining Ticked and Dereferencing Expressions 268
13.8 Consistent Domain Extension 272
Chapter 14. The Facet Algebra 274
14.1 Facet Products and Sums 274
14.2 Facet Homomorphism and Isomorphism 283
14.3 Conditional Expressions 284
14.4 Let Expressions 285
14.5 Higher-Order Facets 287
Chapter 15. Domain Interactions 290
15.1 Projection Functions, Functors, and Combinators 290
15.2 Defining Interactions 294
15.3 Including and Using Interactions 296
15.4 Existing Rosetta Interactions 298
Part V: Case Studies 306
Chapter 16. Case Studies 308
16.1 Methodology 308
16.2 Before Proceeding 311
Chapter 17. Register-Transfer-Level Design 312
17.1 Requirements-Level Design 313
17.2 Basic Components 316
17.3 Structural Design 319
17.4 Design Specification 320
17.5 Wrap Up 321
Chapter 18. Power-Aware Design 324
18.1 The Basic Models 325
18.2 Composing System Models 328
18.3 Constructing the Simulations 335
18.4 Wrap Up 336
Chapter 19. Power-Aware Modeling Revisited 342
19.1 Technology-Specific Functional Models 342
19.2 Configurable Components 343
19.3 Decomposition 344
19.4 Mixed Technology Systems 349
19.5 Wrap Up 349
Chapter 20. System-Level Networking 352
20.1 The Basic Models 352
20.2 Composing System Models 361
20.3 Constructing the Analysis Models 363
20.4 Wrap Up 363
Bibliography 366
Index 370

Produkt-Details

• Erscheint lt. Verlag: 18.4.2011
• Sprache: englisch
• Themenwelt: Kunst / Musik / Theater ► Design / Innenarchitektur / Mode
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Technik ► Elektrotechnik / Energietechnik
• ISBN-10: 0-08-049837-X / 008049837X
• ISBN-13: 978-0-08-049837-9 / 9780080498379