Le discrepanze si verificano quando la netlist dorata contiene una megafunzione lpm_mult implementata nella logica con il parametro lpm_pipeline è maggiore di 0.
Il software Quartus® II implementa lpm_mult megafunzioni in logica invece di un blocco DSP nelle seguenti situazioni:
- La progettazione si rivolge a un dispositivo senza blocchi DSP, ad esempio un dispositivoCyclone™.
- Il numero di megafunzioni lpm_mult nel design aureo è maggiore del numero di blocchi DSP disponibili nel dispositivo di destinazione.
- Si specifica che la megafun zione lpm_mult deve essere implementata nella logica.
Per risolvere questo problema:
Se si crea un'istanza della megafunzioni lpm_mult nel codice RTL, applicare la proprietà black box al modulo che crea un'istanza della megafunzioni lpm_mult. Se lo strumento di sintesi inferisce la megafunzioni lpm_mult, creare un file wrapper intorno al moltiplicatore e applicare la proprietà black box al modulo wrapper.
Per ulteriori informazioni sulla verifica formale, fare riferimento alla sezione Verifica formale nel volume 3 del manuale Quartus II.
