Muutke küpsiste eelistusi

Languages for Digital Embedded Systems 2000 ed. [Kõva köide]

Teised raamatud teemal:
  • Kõva köide
  • Hind: 141,35 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 166,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Teised raamatud teemal:
Edwards in is the private sector, but a colleague has used this work for a one-semester graduate and senior-undergraduate course in embedded systems, and each chapter ends with a set of simple exercises similar to those used there. Readers are assumed to be familiar with one of the hardware or software languages, such as C or Verilog. Edwards presents and contrasts languages commonly used to describe the subsystems in a cellular phone and similar digital embedded systems. They range from hardware modeling to digital signal processing, but he limits the discussion to languages that manipulate discrete, digital values, recognizing that designing real systems sometimes involves coloring outside that line but not very often. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.
Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different languages, and a designer who knows the spectrum of available languages has the advantage over one who is trapped using the wrong language.
Languages for Digital Embedded Systems concentrates on successful, widely-used design languages, with a secondary emphasis on those with significant theoretical value. The syntax, semantics, and implementation of each language is discussed, since although hardware synthesis and software compilation technology have steadily improved, coding style still matters, and a thorough understanding of how a language is synthesized or compiled is generally necessary to take full advantage of a language.
Practicing designers, graduate students, and advanced undergraduates will all benefit from this book. It assumes familiarity with some hardware or software languages, but takes a practical, descriptive view that avoids formalism.

Muu info

Springer Book Archives
Figures
xi
Preface xv
Acknowledgements xvii
Language Basics
1(14)
Specification versus Modeling
4(1)
Concurrency and Sequentiality
5(1)
Nondeterminism
6(3)
Communication
9(1)
Hierarchy
9(2)
The Languages in this Book
11(2)
Choosing a Language
13(1)
Exercises
14(1)
I Hardware 15(64)
Hardware Basics
17(14)
Schematic Diagrams
19(2)
The Spice Format
21(2)
Sequential Logic
23(1)
Finite-state Machines: The Traffic Light Controller
24(3)
The Kiss Format
27(2)
Exercises
29(2)
Verilog
31(24)
Two Examples
32(4)
Modules, Instances, and Structure
36(1)
Nets, Registers, and Expressions
37(4)
Gate and Switch-level Primitives
41(1)
User-defined Primitives
41(2)
Continuous Assignment
43(1)
Parameters and Macros
43(3)
Behavioral Code: Initial and Always blocks
46(3)
Tasks and Functions
49(1)
The Programming Language Interface (PLI)
50(1)
Logic Synthesis and the Register-Transfer Level Subset.
51(1)
Event-driven Simulation
52(2)
Exercises
54(1)
VHDL
55(24)
Entities and Architectures
57(2)
Structural Description
59(2)
Dataflow Description: Concurrent Signal Assignment
61(1)
Behavioral Description: Processes
62(5)
Procedures and Functions
67(2)
Types and Expressions
69(3)
Attributes
72(2)
Packages and Libraries
74(3)
Exercises
77(2)
II Software 79(108)
Software Basics
81(10)
Representing Numbers
82(2)
Types
84(1)
Control Flow
85(1)
Functions, Procedures, and Subroutines
86(1)
Interrupts
86(1)
I/O
87(1)
Memory Management
87(1)
Rom: Read-Only Memory
88(1)
Device Drivers
88(1)
Exercises
88(3)
Assembly Languages
91(22)
Cisc: The i386 Architecture
92(4)
Risc: The MIPS Architecture
96(2)
Harvard Architecture DSPS: The 56000 Architecture
98(8)
Vliw DSPS: The 320c6 Architecture
106(4)
Exercises
110(3)
The C Language
113(26)
Overview
114(2)
Types
116(2)
Variables and Storage
118(2)
Expressions
120(3)
Control Flow
123(4)
Functions
127(2)
The Standard Library
129(1)
The Preprocessor
130(2)
History
132(2)
Compilation
134(1)
Alignment of Structures, Unions
135(1)
Nondeterminsm
136(1)
Exercises
137(2)
C++
139(26)
Overview
140(2)
Classes
142(3)
Single Inheritance and Virtual Functions
145(2)
Multiple Inheritance
147(1)
Namespaces
148(2)
Templates
150(3)
Exceptions
153(1)
Operator Overloading
154(1)
The Standard Library
155(4)
History
159(2)
Implementing Inheritance and Virtual Functions
161(2)
Exercises
163(2)
Java
165(12)
Types
166(3)
Expressions
169(1)
Classes
169(1)
Interfaces
170(1)
Exceptions
171(1)
Threads
172(2)
Packages
174(1)
Type wrappers
174(1)
Garbage Collection
174(1)
Java in Embedded Systems
175(1)
Exercises
176(1)
Operating Systems
177(10)
Timesharing Systems
179(1)
Real-Time Operating Systems
180(1)
Real-Time Scheduling
181(2)
Rate-Monotonic Scheduling
183(1)
Priority Inversion
183(1)
Interprocess Communication
184(1)
Other Services
185(1)
Exercises
186(1)
III Dataflow 187(22)
Kahn Process Networks
189(8)
The Language
189(3)
Determinism
192(1)
Execution
193(2)
Exercises
195(2)
Synchronous Dataflow
197(12)
Scheduling
199(4)
Looped Scheduling
203(2)
Cyclo-Static Dataflow
205(2)
Exercises
207(2)
IV Hybrid 209(58)
Esterel
211(12)
An Example
212(2)
Basic Signal-Handling Instructions
214(2)
Derived Statements
216(1)
Reincarnation
217(1)
Compilation Into Automata
218(1)
Compilation Into Boolean Circuits
219(2)
Compilation with Synthesized Context Switches
221(1)
Exercises
222(1)
Polis
223(16)
Cfsms and the Shift Format
224(1)
Communication
225(3)
Finite-State Machines
228(4)
Hardware Synthesis
232(1)
Software Synthesis
232(1)
Communication Synthesis
233(4)
Exercises
237(2)
SDL
239(8)
An Example
240(1)
Structure: Systems and Blocks
241(2)
Processes
243(1)
The Save Construct
243(2)
Timers
245(1)
Exercises
246(1)
System C
247(12)
An Example
248(2)
Modules
250(1)
Processes
250(4)
Types
254(1)
Ports, Signals, and Clocks
255(1)
Scheduling System C
256(1)
Exercises
257(2)
CoCentric System Studio
259(8)
An Example
259(4)
Models
263(1)
Dataflow models
263(1)
Primitive models
264(1)
Exercises
265(2)
Internet Resources 267(6)
Acronym Glossary 273(4)
Bibliography 277(6)
Index 283