SEQUENTIAL NON-DETERMINISTIC DETECTION IN HARDWARE DESIGN

The use of X's in RTL design is widely common for improving synthesis results and, in some cases, verification effectiveness. However, it has certain implications on verification completeness. Human design error or flawed synthesis may lead to undesirable non-determinism on design outputs, not...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	BARANSI AKRAM, ZAJAC MICHAEL, ANDRAUS ZAHER
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!