Quando si hanno funzioni LVDS flessibili nella progettazione Cyclone® o Cyclone II, si potrebbe riscontrare una mancata corrispondenza nella verifica formale con lo strumento CADENCE Conformal LEC. Il problema si verifica quando il ricevitore LVDS istanziato nella progettazione ha un fattore di deserializzazione dispari.
Il software Quartus® II utilizza una megafunzione altsyncram per queste funzioni LVDS. Le megafunzioni altsyncram utilizzate durante la sintesi non vengono trattate come caselle nere per la verifica formale, il che comporta molti registri nel file di netlist di verifica formale (*.vo) che causano discrepanze tra i netlist dorati e revisionati nel LEC conforme.
Per evitare questo problema, utilizzare i seguenti passaggi per creare una casella nera per l'entità altsyncram dedotta per la funzione LVDS.
- Trovare la funzione altsyncram corrispondente nella finestra Quartus II Project Navigator.<
- Aggiungere assegnazioni preserve hierarchy e black box per ciascun modulo. Ad esempio, queste assegnazioni creano i seguenti comandi Tcl nel file delle impostazioni di Quartus II (*.qsf) per un progetto contenente una funzione altsyncram chiamata altsyncram_l7v:
set_instance_assignment -name PRESERVE_HIERARCHICAL_BOUNDARY FIRM -to | -entity altsyncram_l7vset_instance_assignment -name EDA_FV_HIERARCHY BLACKBOX -to | -entity altsyncram_l7v
- Ricompilare il progetto.
