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

Warum führen unerreichte Eingabeports auf einem Modul im goldfarbenen Design zu Fehlübereinstimmungen bei der formalen Verifizierung?

Umgebung

  • Verifizierung
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    Beschreibung

    Diese Art von Missverhältnis kann auftreten, wenn ein Port im goldfarbenen Design unerreicht ist.  In diesem Fall weist Encounter Conformal einen "Z"-Wert auf dem undriven Port zu, aber das überarbeitete Design hat einen vordefinierten Wert für diesen Port, der dem Quartus zugewiesen wird® II Software.  "Encounter Conformal" stellt fest, dass die Designs nicht funktional äquivalent sind, und meldet eine Diskrepanz im Zusammenhang mit den Ports.

    In einigen Fällen tritt das Problem auf, wenn Sie VHDL-Instanziierungen einiger Altera®Megafunktionen.  Um dieses Problem zu vermeiden, generieren Sie Ihre Megafunktionsveränderung in Verilog HDL.

    Zugehörige Produkte

    Dieser Artikel bezieht sich auf 1 Produkte

    Stratix® FPGAs

    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.