Eine formale algorithmische Synthese digitaler Schaltungen

Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überw...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Kapp, Kai (auth)
Formaat: Elektronisch Hoofdstuk
Gepubliceerd in: KIT Scientific Publishing 2005
Onderwerpen:
Online toegang:DOAB: download the publication
DOAB: description of the publication
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items