Eine Methode zur formalen Verifikation von RISC-Prozessoren

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tahar, Sofiène (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Düsseldorf VDI-Verl. 1995
Ausgabe:	Als Ms. gedr.
Schriftenreihe:	Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] 350
Schlagworte:	Formale Spezifikationstechnik > Hardwareverifikation > RISC > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Eine Methode zur formalen Verifikation von RISC-Prozessoren