HOOVER: hardware object-oriented verification

In this paper a new formal hardware verification approach based on object oriented techniques is presented. The HOOVER system (Hardware Object Oriented VERification) is described. A cell library of different hardware components has been implemented as classes. Components in the cell library are desc...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Aref, M.M., Elleithy, K.M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Hardware Inverters Libraries
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!