Languages for Digital Embedded Systems

2000
ISBN: 978-0-7923-7925-6
Verlag: Springer US

Buch, Englisch, Band 572, 306 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 1400 g

Reihe: The Springer International Series in Engineering and Computer Science

Appropriate for use as a graduate text or a professional reference, 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.
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

• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
• Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
• Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
• Geisteswissenschaften Design Produktdesign, Industriedesign
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung

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.