Artikel-ID: 000083570 Inhaltstyp: Fehlermeldungen Letzte Überprüfung: 20.07.2006

Fehler: Die formale Verifizierung wird bei der schrittweisen Synthese nicht unterstützt

Umgebung

  • Verifizierung
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    Beschreibung

    Die Quartus® II Softwareversionen 5.1, 5.1 SP1 und 5.1 SP2 generieren diesen Fehler, wenn Sie ein formales Verifizierungstool eines Drittanbieters wählen und die inkrementelle Kompilierungsoption aktiviert ist.

    Ab Version 6.0 der Quartus II Software erfordert die formale Verifizierung durch Drittanbieter, dass die inkrementelle Kompilierungsoption aktiviert ist.

     

    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.