Languages for Digital Embedded Systems

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.00

or 4 interest-free payments of $62.25 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 $79.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

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.

Languages for Digital Embedded Systems

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Workplace Environmental Factors

Lighting, Noise, and Vibration

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Site Reliability Engineering

How Google Runs Production Systems

DAMA-DMBOK

Data Management Body of Knowledge

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Business Driven Information Systems ISE

9th Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Systems Analysis and Design

12th edition

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Refactoring 2ed

Improving the Design of Existing Code

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Rust Atomics and Locks

Low-Level Concurrency in Practice

Fundamentals of Software Engineering

From Coder to Engineer

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Raspberry Pi Cookbook, 4E

Software and Hardware Problems and Solutions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Data Mesh

Delivering Data-Driven Value at Scale

Digital Technologies for Wind Turbine Control and Integration

Advances in Digital Technologies for Smart Applications

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

This product is categorised by