Diskrepanzen treten auf, wenn die goldene Netliste eine lpm_mult In der Logik implementierte Megafunktion enthält, wobei der lpm_pipeline Parameter größer als 0 ist.
Die Quartus® II Software implementiert lpm_mult Megafunktionen in der Logik anstelle eines DSP-Blocks in den folgenden Situationen:
- Das Design richtet sich an ein Gerät ohne DSP-Blöcke, wie z.™ B. ein Cyclone Gerät.
- Die Anzahl der lpm_mult Megafunktionen im goldfarbenen Design ist größer als die Anzahl der verfügbaren DSP-Blöcke auf dem Zielgerät.
- Sie legen fest, dass die lpm_mult In-Logik-Implementierung erfolgt.
Um dieses Problem zu umgehen:
Wenn Sie die lpm_mult-Megafunktion in Ihrem RTL-Code instanziieren, wenden Sie die Blackbox-Eigenschaft auf das Modul an, das die lpm_mult-Megafunktion instanziiert. Wenn Ihr Synthese-Tool die lpm_mult-Megafunktion leitet, erstellen Sie eine Wrapper-Datei um den Multiplikator herum und wenden Sie die Blackbox-Eigenschaft auf das Wrapper-Modul an.
Weitere Informationen zur formalen Verifizierung finden Sie im Abschnitt "Formale Verifizierung" in Teil 3 des Handbuchs Quartus II.