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.