Christian Haubelt,Jürgen Teich,Jurgen Teich's Digitale Hardware/Software-Systeme: Spezifikation und PDF

By Christian Haubelt,Jürgen Teich,Jurgen Teich

Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden undefined- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur undefined- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Der Band dient als Nachschlagewerk für Entwickler und als Begleiter im Informatik- und Elektrotechnik-Studium.

Show description

Read or Download Digitale Hardware/Software-Systeme: Spezifikation und Verifikation ( (German Edition) PDF

Similar systems architecture books

Applications of VHDL to Circuit Design - download pdf or read online

Describing and designing advanced digital platforms has turn into an overpowering activit)' for which VHDL is exhibiting more and more necessary and promising help. even if created as an outline language. VHDL is being more and more used as a simulatable and synthcsizablcdcsign language. For the 1st time, here's abook which describesa variety of particular and strong methods VHDL can be utilized to unravel ordinary layout difficulties in structures ones which has to be designed accurately in vcry brief periodsoflime.

Michal Wódczak's Autonomic Computing Enabled Cooperative Networked Design PDF

This booklet introduces the concept that of autonomic computing pushed cooperative networked approach layout from an architectural point of view. As such it leverages and capitalises at the suitable developments in either the nation-states of autonomic computing and networking by means of welding them heavily jointly. specifically, a multi-faceted Autonomic Cooperative method Architectural version is outlined which contains the idea of Autonomic Cooperative Behaviour being orchestrated by means of the Autonomic Cooperative Networking Protocol of a cross-layer nature.

Download e-book for iPad: Flexible Software Design: Systems Development for Changing by Bruce Johnson,Walter W. Woolfolk,Robert Miller,Cindy Johnson

A developer's wisdom of a computing system's standards is inevitably imperfect simply because agencies switch. Many requisites lie sooner or later and are unknowable on the time the approach is designed and equipped. to prevent burdensome upkeep expenses builders needs to for this reason depend on a system's skill to alter gracefully-its flexibility.

Download e-book for kindle: Carbon Nanotubes for Interconnects: Process, Design and by Aida Todri-Sanial,Jean Dijon,Antonio Maffucci

This e-book offers a single-source reference at the use of carbon nanotubes (CNTs) as interconnect fabric for horizontal, on-chip and 3D interconnects. The authors exhibit the makes use of of bundles of CNTs, as leading edge accomplishing fabric to manufacture interconnect through-silicon vias (TSVs), on the way to enhance the functionality, reliability and integration of 3D built-in circuits (ICs).

Extra info for Digitale Hardware/Software-Systeme: Spezifikation und Verifikation ( (German Edition)

Example text

Download PDF sample

Digitale Hardware/Software-Systeme: Spezifikation und Verifikation ( (German Edition) by Christian Haubelt,Jürgen Teich,Jurgen Teich

by Joseph

Rated 4.32 of 5 – based on 37 votes