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

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!

Ähnliche Einträge