Hochschulschrift | Online-Publikation

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

zu Verbundenen Objekten

Weitere Titel: Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Standort: Deutsche Nationalbibliothek Frankfurt am Main

Umfang: Online-Ressource

Sprache: Englisch

Anmerkungen: Kaiserslautern, Techn. Univ., Diss., 2003

Klassifikation: Informatik
Ingenieurwissenschaften und Maschinenbau

Schlagwort: Schaltwerk
Register-Transfer-Ebene
Bounded Model Checking
Verifikation ; Model checking ; Symmetrie ; Symmetriebrechung ; Vorverarbeitung ; Zugesicherte Eigenschaft ; System-on-Chip ; Schaltwerk ; Erfüllbarke

Urheber: Brinkmann, Raik

URN: urn:nbn:de:bsz:386-kluedo-16675

Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Letzte Aktualisierung: 25.03.2025, 13:57 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Original beim Datenpartner anzeigen

Objekttyp

Hochschulschrift
Online-Publikation

Beteiligte

Brinkmann, Raik

Ähnliche Objekte (12)

Hochschulschrift

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Comparison of Head-Related Transfer Functions Pre-Processing Techniques for Spherical Harmonics Decomposition

Knowledge Transfer and Science Transfer

Hochschulschrift

Bewertung von Simulationsverfahren für die Register-Transfer-Ebene

Archivale

Transfers

Schriftgut

Transfer

Schriftgut

Transfer

Standfoto

Transfer

Plakat

Transfer

Standfoto

Transfer

Standfoto

Transfer

Standfoto

Transfer

Hochschulschrift

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Comparison of Head-Related Transfer Functions Pre-Processing Techniques for Spherical Harmonics Decomposition

Knowledge Transfer and Science Transfer

Hochschulschrift

Bewertung von Simulationsverfahren für die Register-Transfer-Ebene

Archivale

Transfers

Schriftgut

Transfer

Schriftgut

Transfer

Standfoto

Transfer

Plakat

Transfer

Standfoto

Transfer

Standfoto

Transfer

Standfoto

Transfer

Hochschulschrift

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Comparison of Head-Related Transfer Functions Pre-Processing Techniques for Spherical Harmonics Decomposition

Knowledge Transfer and Science Transfer

Hochschulschrift

Bewertung von Simulationsverfahren für die Register-Transfer-Ebene

Archivale

Transfers

Schriftgut

Transfer

Schriftgut

Transfer

Standfoto

Transfer

Plakat

Transfer

Standfoto

Transfer

Standfoto

Transfer

Standfoto

Transfer

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Angaben zum Objekt

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Objekttyp

Beteiligte

Ähnliche Objekte (12)

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Comparison of Head-Related Transfer Functions Pre-Processing Techniques for Spherical Harmonics Decomposition

Knowledge Transfer and Science Transfer

Bewertung von Simulationsverfahren für die Register-Transfer-Ebene

Transfers

Transfer

Transfer

Transfer

Transfer

Transfer

Transfer

Transfer

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Comparison of Head-Related Transfer Functions Pre-Processing Techniques for Spherical Harmonics Decomposition

Knowledge Transfer and Science Transfer

Bewertung von Simulationsverfahren für die Register-Transfer-Ebene

Transfers

Transfer

Transfer

Transfer

Transfer

Transfer

Transfer

Transfer

Preprocessing for property checking of sequential circuits on the register transfer level : = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene

Comparison of Head-Related Transfer Functions Pre-Processing Techniques for Spherical Harmonics Decomposition

Knowledge Transfer and Science Transfer

Bewertung von Simulationsverfahren für die Register-Transfer-Ebene

Transfers

Transfer

Transfer

Transfer

Transfer

Transfer

Transfer

Transfer

Verbundene Objekte

Passwort zurücksetzen