Regular price
34.500 KD
inc. VAT
Couldn't load pickup availability
Table of contents
- Cover
- Copyright Pageiv
- Contentsvii
- Acknowledgmentsxvii
- Forewordxix
- Prefacexxiii
- Part I: Introduction1
- Chapter 1. Introduction3
- 1.1 What is System-Level Specification?3
- 1.2 Rosetta’s Design Goals4
- 1.3 Anatomy of a Specification6
- 1.4 Learning Rosetta13
- Part II: The Expression Language17
- Chapter 2. Items, Values, Types, and Declarations19
- 2.1 Labels, Values, and Types19
- 2.2 Item Declarations and Type Assertions22
- 2.3 Universal Operations25
- Chapter 3. Expressions29
- 3.1 Atomic Expressions29
- 3.2 Function Application30
- 3.3 Operator Application31
- 3.4 If Expressions33
- 3.5 Case Expressions37
- 3.6 Let Expressions40
- 3.7 Compound Expressions42
- Chapter 4. Elemental Types45
- 4.1 The Boolean Type45
- 4.2 The Number Types47
- 4.3 The Character Type59
- 4.4 The Element Type60
- 4.5 The Top and Bottom Types60
- 4.6 Element Literals61
- 4.7 Operator Result Types65
- Chapter 5. Composite Types67
- 5.1 Type Formers67
- 5.2 Set Types68
- 5.3 Multiset Types73
- 5.4 Sequence Types78
- Chapter 6. Functions91
- 6.1 Direct Function Definition92
- 6.2 Function Values and Function Types101
- 6.3 Evaluating Functions103
- 6.4 Universally Quantified Parameters112
- Chapter 7. Higher-Order Functions115
- 7.1 Domain, Range, and Return Functions116
- 7.2 Alternate Higher-Order Function Notation119
- 7.3 Minimum and Maximum120
- 7.4 Quantifiers and Comprehension121
- 7.5 Sequences and Higher-Order Functions124
- 7.6 Function Inclusion and Composition126
- Chapter 8. User-Defined Types131
- 8.1 Defining New Types132
- 8.2 Defining Types By Extension135
- 8.3 Defining Types By Comprehension137
- 8.4 Defining Constructed Types138
- 8.5 Functions as Type Definition Tools142
- Part III: The Facet Language145
- Chapter 9. Facet Basics147
- 9.1 A First Model „ An AM Modulator148
- 9.2 Composing Models „ Adding Constraints150
- 9.3 Combinational Circuits „ A Simple Adder151
- 9.4 Defining State „ A 2-bit Counter153
- 9.5 Defining Structure „ A 2-bit Adder155
- 9.6 Specification Reuse „ Using Packages156
- 9.7 Abstract Specification „ Architecture Definition157
- Chapter 10. Defining Facets161
- 10.1 Direct Facet Definition162
- 10.2 Separable Definitions171
- 10.3 Facets and Hardware Description Languages174
- 10.4 Facet Styles175
- 10.5 Scoping Rules179
- 10.6 Basics of Facet Semantics182
- Chapter 11. Packages, Libraries, and Components187
- 11.1 Packages187
- 11.2 Libraries192
- 11.3 Components194
- Part IV: Domains and Interactions201
- Chapter 12. Domains203
- 12.1 Elements of a Domain203
- 12.2 The Standard Domains207
- 12.3 Domains and Facet Types225
- Chapter 13. Reflection229
- 13.1 Template Expressions and AST Structures229
- 13.2 Interpreting AST Structures231
- 13.3 Domain Declarations236
- 13.4 Defining Engineering Domains238
- 13.5 Defining New Model-of-Computation Domains239
- 13.6 Defining New Unit-of-Semantics Domains239
- 13.7 Defining Ticked and Dereferencing Expressions241
- 13.8 Consistent Domain Extension245
- Chapter 14. The Facet Algebra247
- 14.1 Facet Products and Sums247
- 14.2 Facet Homomorphism and Isomorphism256
- 14.3 Conditional Expressions257
- 14.4 Let Expressions258
- 14.5 Higher-Order Facets260
- Chapter 15. Domain Interactions263
- 15.1 Projection Functions, Functors, and Combinators263
- 15.2 Defining Interactions267
- 15.3 Including and Using Interactions269
- 15.4 Existing Rosetta Interactions271
- Part V: Case Studies279
- Chapter 16. Case Studies281
- 16.1 Methodology281
- 16.2 Before Proceeding284
- Chapter 17. Register-Transfer-Level Design285
- 17.1 Requirements-Level Design286
- 17.2 Basic Components289
- 17.3 Structural Design292
- 17.4 Design Specification293
- 17.5 Wrap Up294
- Chapter 18. Power-Aware Design297
- 18.1 The Basic Models298
- 18.2 Composing System Models301
- 18.3 Constructing the Simulations308
- 18.4 Wrap Up309
- Chapter 19. Power-Aware Modeling Revisited315
- 19.1 Technology-Specific Functional Models315
- 19.2 Configurable Components316
- 19.3 Decomposition317
- 19.4 Mixed Technology Systems322
- 19.5 Wrap Up322
- Chapter 20. System-Level Networking325
- 20.1 The Basic Models325
- 20.2 Composing System Models334
- 20.3 Constructing the Analysis Models336
- 20.4 Wrap Up336
- Bibliography339
- Index343
Book details
- Vendor Elsevier S & T
- SKU 9781558607712
- ISBN-13 9780080498379
- Author Alexander, Perry
- Category Technology & Engineering
- Subject Microelectronics
Do you have questions about this book?
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
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
Instant delivery by email
Your access email arrives within minutes of checkout, with a sign-in link for each book — no shipping, no waiting.
Read on any device
Books open in VitalSource Bookshelf on your phone, tablet, or computer, online or offline. Your library is always available at aafaq.vitalsource.com — just log in with the email you used at checkout.
Lost the email?
Resend it to yourself in seconds from My eBook orders, or email cs@aafaqeducation.com and we'll help.