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.