Correct hardware design and verification methods: 12th IFIP WG 10.5 Advanced Research Working Confer… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003 ; proceedings
Beteiligte: Geist, Daniel [Herausgeber:in]; Tronci, Enrico [Sonstige Person, Familie und Körperschaft]
Veranstaltung: CHARME
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2003
Erschienen in: Lecture notes in computer science ; 2860
Umfang: XII, 426 S.; graph. Darst
Sprache: Englisch
ISBN: 354020363X
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Hardwareentwurf > Formale Methode
Hardwareverifikation > Formale Methode
Model Checking
System-on-Chip > Entwurfsautomation > Formale Methode
Entwurfssprache
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Correct hardware design and verification methods