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...
Bewaard in:
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
-
Algorithmische Preissetzung und tacit collusion
door: Sternberg, Martin
Gepubliceerd in: (2023) -
Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt
Gepubliceerd in: (2020) -
Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt
Gepubliceerd in: (2020) -
Auswirkungen der hochfrequent alternierenden Ströme leistungselektronischer Schaltungen auf das Betriebs- und Alterungsverhalten von Lithium-Ionen-Batterien
door: Korth Pereira Ferraz, Pablo
Gepubliceerd in: (2022) -
Auswirkungen der hochfrequent alternierenden Ströme leistungselektronischer Schaltungen auf das Betriebs- und Alterungsverhalten von Lithium-Ionen-Batterien
door: Korth Pereira Ferraz, Pablo
Gepubliceerd in: (2022)