Equivalency verification for hierarchical references

Embodiments of the present invention provides methods, computer program products, and a system for processing hierarchical references for a formal equivalence check. In certain embodiments, hierarchical references of a first design are identified as functionally equivalent to hierarchical references...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Roesner, Wolfgang, Williams, Mark A, El-Zein, Ali S, Paruthi, Viresh, Kanzelman, Robert L
Format:	Patent
Sprache:	eng
Schlagworte:	MEASURING MEASURING ELECTRIC VARIABLES MEASURING MAGNETIC VARIABLES PHYSICS TESTING
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!