The Springer International Engineering and Computer Science

By: Stephen A. Edwards

Write A Review

Hardcover | 30 September 2000

At a Glance

Hardcover
328 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Hardcover

$249.75

or 4 interest-free payments of $62.44 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Graphical & Digital Media Applications Medicine Medicine in General Computer Science Systems Analysis & Design Engineering & Technology Electronics & Communications Engineering Electronics Engineering

Circuits & Components Energy Technology & Engineering Electrical Engineering Compilers & Interpreters

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

The Springer International Engineering and Computer Science

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electrical Engineering

Electrical Principles

5th Edition

Electrical Principles for Electrical Trades

8th Edition

A+ National Pre-apprenticeship Maths and Literacy for Electrical

A+ PRE-APPRENTICESHIP

Electrotechnology Practice 6E + Electrical Trade Principles 6E Value Pack

6th Edition

Electrical Wiring Practice, 9th Edition and Wiring Principles for Electrical Trades, 8th Edition (Pack)

Metaverse, Generative AI, and Brainâ"Computer Interfaces

Shaping the Future of the Digital Landscape

Fluctuation Mechanism and Control on System Instantaneous Availability

Electrical Trade Principles

6th Edition

Radio Frequency, Communications and Signal Processing for 5G and Beyond 5G Networks

Materials, Circuits and Devices

Volume 2: Volume 2

Planning, Operation, and Security of Communication Networks for Regulating Large-scale Flexible Resources in Modern Power Systems

Power Systems

Fractional Differential Equations

Numerical Methods for Applications

A+ Pre-apprenticeship Maths and Literacy for Electrical (Part II)

Electrical Trade Practices

3rd Edition

Applying Hvdc and Facts in Electric Power Systems

Fundamentals of Electrical Engineering

Battery Management Systems for Large Lithium Ion Batteries

Fundamentals of Electric Circuits

ISE 7th edition

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Electrical Wiring Practice

9th Edition

Data-driven BIM for Energy Efficient Building Design

1st Edition

Principles and Applications of Electrical Engineering

7th Edition

Pack Electrical Wiring Practice (includes Connect, LearnSmart)

8th Edition

Electrical Principles for the Electrical Trades + Connect + LearnSmart

7th Edition

This product is categorised by