Languages for Digital Embedded Systems

Softcover Nachdruck of the original 1. Auflage 2000
ISBN: 978-1-4613-6942-4
Verlag: Springer US

Buch, Englisch, Band 572, 306 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 496 g

Reihe: The Springer International Series in Engineering and Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Edwards, Stephen A.

Fachgebiete

• Technische Wissenschaften Energietechnik | Elektrotechnik Elektrotechnik
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise

Inhaltsverzeichnis

1 Language Basics.- 1.1 Specification versus Modeling.- 1.2 Concurrency and Sequentiality.- 1.3 Nondeterminism.- 1.4 Communication.- 1.5 Hierarchy.- 1.6 The Languages in this Book.- 1.7 Choosing a Language.- 1.8 Exercises.- I Hardware.- 2 Hardware Basics.- 3 Verilog.- 4 VHDL.- II Software.- 5 Software Basics.- 6 Assembly Languages.- 7 The C Language.- 8 C++.- 9 Java.- 10 Operating Systems.- III Dataflow.- 11 Kahn Process Networks.- 12 Synchronous Dataflow.- IV Hybrid.- 13 Esterel.- 14 Polis.- 15 SDL.- 16 SystemC.- 17 CoCentric System Studio.- Internet Resources.- Acronym Glossary.