Artikel-ID: 000082938 Inhaltstyp: Fehlerbehebung Letzte Überprüfung: 11.09.2012

Warum liefert mein formaler Verifizierungsbericht inequivalente Ergebnisse, wenn mein Design einen SignalTap II Logikanalysator verwendet?

Umgebung

    Verifizierung
BUILT IN - ARTICLE INTRO SECOND COMPONENT
Beschreibung

Wenn Ihr Design den SignalTap® II Logikanalysator verwendet, werden bei der formalen Verifizierung Diskrepanzen angezeigt. Der Quartus® II formale Verifizierungsablauf wird mit Cadence Conformal LEC nicht unterstützt, wenn Sie den SignalTap II Logikanalysator in Ihrem Design verwenden.

Zugehörige Produkte

Dieser Artikel bezieht sich auf 1 Produkte

Stratix® II FPGAs

1

Der Inhalt dieser Seite ist eine Kombination aus menschlicher und computerbasierter Übersetzung des originalen, englischsprachigen Inhalts. Dieser Inhalt wird zum besseren Verständnis und nur zur allgemeinen Information bereitgestellt und sollte nicht als vollständig oder fehlerfrei betrachtet werden. Sollte eine Diskrepanz zwischen der englischsprachigen Version dieser Seite und der Übersetzung auftreten, gilt die englische Version. Englische Version dieser Seite anzeigen.