MicroController Pros Home Page My Account  Cart Contents  Checkout  
  Store » Books » All Books » ELV9781558607712 My Account  |  Cart Contents  |  Checkout   
Quick Find
 
Enter keywords to find the product you are looking for in the Quick Find field above

or use
Advanced Search
Categories
Accessory Boards->
8051->
ADI Blackfin
Arduino->
ARM->
Atmel AVR->
Cypress PSoC
Freescale->
FTDI->
Locktronics
Microchip PIC->
MIPS
Parallax->
Renesas
Silicon Labs
ST Microelectronics->
Texas Instruments->
Tibbo->
Books->
  All Books
  Beginners
  8051
  80x86
  Arduino
  ARM
  Atmel AVR
  Freescale
  Microchip PIC
  Microsoft
  MIPS
  TI MSP430
  Analog Design
  Artificial Intelligence
  CAN
  Chip Design
  Chip Test & Verification
  Digital Electronics
  Digital Signal Processing
  Ecosystems
  Electronics
  Embedded Internet
  Embedded O/S
  Embedded Systems
  EMC
  Fiber Optics
  FPGA
  Math
  Mechanical Engineering
  Microscopy
  Nano Technology
  Networking
  Organic Materials
  Parallel Port
  Programming Languages->
  Robotics
  Security
  Software Development
  Storage - Memory
  UART
  USB
  Video-Graphics
  Wireless
Displays->
E-Blocks->
EEPROM/EPROM/FLASH
Embedded Ethernet->
Embedded Software->
I/O Modules->
Parts & Components->
Pick & Place Tools
Programmable Logic (PLD)
Prototype PCBs->
Robotics
ROM/Flash Emulators
Test & Measurement->
Tutorial Software
Universal Programmers->
Wireless->
Information
Intro to Embedded Tools
Embedded News Digest
Useful Resources
Shipping & Returns
Warranty & Liability
Privacy Notice
Conditions of Use
Contact Us
System Level Design with Rosetta US$79.95

ELV9781558607712
System Level Design with Rosetta

System Level Design with Rosetta Description

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.

  • 384 pages 29 ills
  • Trim size 7 1/2 X 9 1/4 in
  • Copyright 2007

System Level Design with Rosetta Key Features

  • 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

System Level Design with Rosetta Readership

System Level Design with Rosetta Quotes

“In his forward to Perry Alexander's System Level Design with Rosetta, Grant Martin observes that “every new language seems to require at least one book be written to promote understanding and further interest and use, so [for Rosetta] this milestone has now been achieved.” Alexander, one of the fathers of the Rosetta language, has produced what may prove to be the seminal text on Rosetta, and one that helps it move from an academic exercise to a real-world language. The book is packed with clear code examples that explain all the language’s elements, both individually and in combination. Inasmuch as Rosetta represents more than a simple language but also a methodology, that methodology is also clearly detailed. Anyone who’s curious about Rosetta and, indeed, interested in a holistic approach to system-level design, should find this volume highly useful.” — David Maliniak, Electronic Design Online, December 18, 2006

System Level Design with Rosetta Contents

Part I: Introduction

Chapter 1: Introduction

1.1 What is System-Level Specification?

1.2 Rosetta’s Design Goals

1.3 Anatomy of a Specification

1.4 Learning Rosetta

Part II: The Expression Language

Chapter 2: Items, Values, Types and Declarations

2.1 Labels, Values, and Types

2.2 Item Declarations and Type Assertions

2.3 Universal Operations

Chapter 3: Expressions

3.1 Atomic Expressions

3.2 Function Application

3.3 Operator Application

3.4 If Expressions

3.5 Case Expressions

3.6 Let Expressions

3.7 Compound Expressions

Chapter 4: Elemental Types

4.1 The Boolean Type

4.2 The Number Types

4.3 The Character Type

4.4 The Element Type

4.5 The Top and Bottom Types

4.6 Element Literals

4.7 Operator Result Types

Chapter 5: Composite Types

5.1 Type Formers

5.2 Set Types

5.3 Multiset Types

5.4 Sequence Types

Chapter 6: Functions

6.1 Direct Function Definition

6.2 Function Values and Function Types

6.3 Evaluating Functions

6.4 Universally Quantified Parameters

Chapter 7: Higher-Order Functions

7.1 Domain, Range and Return Functions

7.2 Alternate Higher-Order Function Notation

7.3 Minimum and Maximum

7.4 Quantifiers and Comprehension

7.5 Sequences and Higher-Order Functions

7.6 Function Inclusion and Composition

Chapter 8: User Defined Types

8.1 Defining New Types

8.2 Defining Types By Extension

8.3 Defining Types By Comprehension

8.4 Defining Constructed Types

8.5 Functions as Type Definition Tools

Part III: The Facet Language

Chapter 9: Facet Basics

9.1 A First Model - An AM Modulator

9.2 Composing Models - Adding Constraints

9.3 Combinational Circuits - A Simple Adder

9.4 Defining State - A 2-bit Counter

9.5 Defining Structure - A 2-bit Adder

9.6 Specification Reuse - Using Packages

9.7 Abstract Specification - Architecture Definition

Chapter 10: Defining Facets

10.1 Direct Facet Definition

10.2 Separable Definitions

10.3 Facets and Hardware Description Languages

10.4 Facet Styles

10.5 Scoping Rules

10.6 Basics of Facet Semantics

Chapter 11: Packages, Libraries and Components

11.1 Packages

11.2 Libraries

11.3 Components

Part IV: Domains and Interactions

Chapter 12: Domains

12.1 Elements of a Domain

12.2 The Standard Domains

12.3 Domains and Facet Types

Chapter 13: Reflection

13.1 Template Expressions and AST Structures

13.2 Interpreting AST Structures

13.3 Defining Domains

13.4 Domain Declarations

13.5 Defining Engineering Domains

13.6 Defining New Model-of-Computation Domains

13.7 Defining New Unit-of-Semantics Domains

13.8 Defining Ticked and Dereferencing Expressions

13.9 Consistent Domain Extension

Chapter 14: The Facet Algebra

14.1 Facet Products and Sums

14.2 Facet Homomorphism and Isomorphism

14.3 Conditional Expressions

14.4 Let Expressions

14.5 Higher-Order Facets

Chapter 15: Domain Interactions

15.1 Projection Functions, Functors and Combinators

15.2 Defining Interactions

15.3 Including and Using Interactions

15.4 Existing Rosetta Interactions

Part V: Case Studies

Chapter 16: Case Studies

16.1 Methodology

16.2 Before Proceeding

Chapter 17: RTL Design

17.1 Requirements Level Design

17.2 Basic Components

17.3 Structural Design

17.4 Design Specification

17.5 Wrap Up

Chapter 18: Power Aware Design

18.1 The Basic Models

18.2 Composing System Models

18.3 Constructing the Simulations

18.4 Wrap Up

Chapter 19: Power Aware Modeling Revisited

19.1 Technology Specific Functional Models

19.2 Configurable Components

19.3 Decomposition

19.4 Mixed Technology Systems

19.5 Wrap Up

Chapter 20: System-Level Networking

20.1 The Basic Models

20.2 Composing System Models

20.3 Constructing the Analysis Models

20.4 Wrap Up

System Level Design with Rosetta Author Information

By Perry Alexander, University of Kansas and Developer of Rosetta system design language


This product was added to our catalog on Tuesday 30 December, 2008.

Reviews

Shopping Cart more
0 items
What's New? more
Electricity, Magnetism and Materials Solution Educational Kit
Electricity, Magnetism and Materials Solution Educational Kit
US$363.00
Specials more
Atmel AVR STK500 Compatible Programmer, parallel port
Atmel AVR STK500 Compatible Programmer, parallel port
US$13.93
US$5.90
Tell A Friend
 

Tell someone you know about this product.
Notifications more
NotificationsNotify me of updates to System Level Design with Rosetta
Reviews more
Write ReviewWrite a review on this product!
  Friday 20 October, 2017   List of all our Products

Copyright © 2003-2017 MicroController Pros LLC
Powered by osCommerce