System Level Design with Rosetta

Perry Alexander

  • 出版商: Morgan Kaufmann
  • 出版日期: 2006-11-01
  • 定價: $2,580
  • 售價: 5.0$1,290
  • 語言: 英文
  • 頁數: 384
  • 裝訂: Paperback
  • ISBN: 1558607714
  • ISBN-13: 9781558607712
  • 相關分類: 電子學 Eletronics
  • 立即出貨

買這商品的人也買了...

商品描述

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.

 

Table of 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

商品描述(中文翻譯)

描述

矽能力的持續增加使半導體行業面臨一個重要的挑戰。現在一個芯片可以整合無線電收發器、網絡接口、多媒體功能,以及將硬件和軟件重新配置為未來應用所需的所有"黏合劑"。這樣複雜的異質系統需要一種不同的設計方法。一個由工業和政府實驗室組成的聯盟創建了一種新的語言和新的設計方法來支持這一努力。Rosetta允許設計師在低層次實現之外獨立指定需求和約束,並將數字和模擬電子、機械、光學、流體和熱子系統的設計集成在一起。在這本書中,Rosetta的開發者之一Perry Alexander提供了對這種語言和支持它的系統級設計方法的教程介紹。

目錄

第一部分:介紹
第1章:介紹
1.1 什麼是系統級規格?
1.2 Rosetta的設計目標
1.3 規格的結構
1.4 學習Rosetta

第二部分:表達語言
第2章:項目、值、類型和聲明
2.1 標籤、值和類型
2.2 項目聲明和類型斷言
2.3 通用操作

第3章:表達式
3.1 原子表達式
3.2 函數應用
3.3 運算符應用
3.4 if表達式
3.5 case表達式
3.6 let表達式
3.7 复合表达式

第4章:基本類型
4.1 布爾類型
4.2 數字類型
4.3 字符類型
4.4 元素類型
4.5 最高和最低類型
4.6 元素文字
4.7 運算符結果類型

第5章:組合類型
5.1 類型形成器
5.2 集合類型
5.3 多重集類型
5.4 序列類型

第6章:函數
6.1 直接函數定義
6.2 函數值和函數類型
6.3 評估函數
6.4 全域量化參數

第7章:高階函數
7.1 定義域、範圍和返回函數
7.2 替代的高階函數表示法
7.3 最小值和最大值
7.4 量化器和理解
7.5 序列和高階函數
7.6 函數包含和組合

第8章:用戶定義類型
8.1 定義新類型
8.2 通過擴展定義類型
8.3 通過理解定義類型
8.4 定義構造類型
8.5 函數作為類型定義工具

第三部分:面向方面的語言
第9章:基礎
9.1 第一個模型-AM調製器
9.2 組合模型-添加約束
9.3 組合電路-簡單加法器
9.4 定義狀態-2位計數器
9.5 定義結構-2位加法器
9.6 規格重用-使用包
9.7 抽象規格-架構定義

第10章:定義方面
10.1 直接方面定義
10.2 可分離定義
10.3 方面和硬件描述語言
10.4 方面風格