Authors:
- Einziges Lehrbuch, das die Verzahnung der Verifikation von Hardware und Hardware-naher Software beschreibt
- Wertvolles Referenz- und Nachschlagewerk sowohl für Forscher als auch für Entwickler eingebetteter Systeme
- Includes supplementary material: sn.pub/extras
Part of the book series: eXamen.press (EXAMEN)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
About this book
Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich.
Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens.
Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.
Authors and Affiliations
-
Lehrstuhl Hardware-Software-Co-Design, Universität Erlangen-Nürnberg, Erlangen, Germany
Christian Haubelt, Jürgen Teich
Bibliographic Information
Book Title: Digitale Hardware/Software-Systeme
Book Subtitle: Spezifikation und Verifikation
Authors: Christian Haubelt, Jürgen Teich
Series Title: eXamen.press
DOI: https://doi.org/10.1007/978-3-642-05356-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer-Verlag Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-05355-9Published: 24 June 2010
eBook ISBN: 978-3-642-05356-6Published: 03 June 2010
Series ISSN: 1614-5216
Edition Number: 1
Number of Pages: X, 601
Number of Illustrations: 273 b/w illustrations
Topics: Control Structures and Microprogramming, Computer Systems Organization and Communication Networks, Software Engineering, Complexity