Correct hardware design and verification methods IFIP WG 10.5 advanced research working conference, CHARME '95, Frankfurt, Main, Germany, October 2-4, 1995 ; proceedings

Correct hardware design and verification methods IFIP WG 10.5 advanced research working conference, CHARME '95, Frankfurt, Main, Germany, October 2-4, 1995 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin u.a. Springer 1995
Schriftenreihe:Lecture notes in computer science 987
Schlagworte:
Circuits intégrés - Vérification - Congrès
Circuits intégrés à grande échelle - Conception et construction - Informatique - Congrès
Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès
Conception assistée par ordinateur - Congrès
Hardware
VHDL
Vormgeving
conception matériel
démonstration théorème
méthode vérification
système état fini
vérification formelle
vérification matériel
Integrated circuits > Very large scale integration > Computer-aided design > Congresses
Integrated circuits > Verification > Congresses
Hardwareverifikation
Konferenzschrift > 1995 > Frankfurt am Main
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Inhaltsverzeichnis

Ähnliche Einträge