Method and system for reversing the effects of sequential reparameterization on traces

A method, system and computer program product for reversing effects of reparameterization is disclosed. The method comprises receiving an original design, an abstracted design, and a first trace over the abstracted design. One or more conditional values are populated into the first trace over the ab...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Baumgartner, Jason Raymond, Janssen, Geert, Mony, Hari, Paruthi, Viresh
Format:	Patent
Sprache:	eng
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!