MODELLING AND VERIFICATION OF PIPELINED MICRO-ARCHITECTURES: FUNCTIONAL APPROACH

Formal verification of a pipelined micro-architectural (PMA) implementation against an instruction-set-architecture (ISA) specification is a common approach, which still requires considerable efforts because it is impossible to find a meaningful point where the implementation state and the specifica...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of computers & applications 2010-01, Vol.32 (1), p.1
Hauptverfasser:	Merniz, S., Benmohammed, M.
Format:	Artikel
Sprache:	eng
Schlagworte:	Comparative analysis Language Simulation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!