System and method for automatic derivation of coverage metrics for validation of pipelined designs

System and method for automatic derivation of coverage metrics for validation of pipelined designs

A functional verification method and method that uses automatic extraction of coverage metrics to verify pipeline designs in a simulation-based validation flow. The method can target data transfer features of pipelined designs. Several of the metrics used are a one stage transfer metric (OST), a pat...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Even-Haim, Daniel, Gutkovich, Boris, Sananes, Moshe
Format: Patent
Sprache:eng
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A functional verification method and method that uses automatic extraction of coverage metrics to verify pipeline designs in a simulation-based validation flow. The method can target data transfer features of pipelined designs. Several of the metrics used are a one stage transfer metric (OST), a path metric, a one stage sequence (OSS) metric, a microinstruction flow (MIF) metric, and a microinstruction sequence (MIS) metric.