Cuando tiene funciones LVDS flexibles en su diseño Cyclone® o Cyclone II, puede que no coincida en la verificación formal con la herramienta LEC conforme de cadencia. El problema ocurre cuando el receptor LVDS instanciado en el diseño tiene un factor de deserialización extraño.
El software Quartus® II utiliza una megafunción altsyncram para estas funciones LVDS. Las megafunciones altsyncram que se utilizan durante la síntesis no se tratan como cajas negras para la verificación formal, lo que resulta en muchos registros en el archivo netlist de verificación formal (*.vo) que causan desajustes entre las netlists doradas y revisadas en Conformal LEC.
Para evitar este problema, siga estos pasos para crear un cuadro negro para la entidad altsyncram que se infiere para la función LVDS.
- Busque la función altsyncram correspondiente en la ventana Navegador del proyecto Quartus® II.<
- Agregue asignaciones de Conservar jerarquía y caja negra para cada módulo. Por ejemplo, estas asignaciones crean los siguientes comandos Tcl en el archivo de configuración de Quartus II (*.qsf) para un diseño que contiene una función altsyncram denominada 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- Vuelva a compilar el diseño.