Quando você usa a opção de duplicação de registro de síntese física nas versões 7.0 e anteriores do software Quartus® II, alguns registros com ventiladores altos são duplicados. Se você realizar verificação formal com LEC conformal, a ferramenta poderá relatar não equivalência entre o design dourado (RTL) e revisado (processado) para projetos Stratix® II GX. A não equivalência ocorre porque os comandos de equivalência de instância escritos no arquivo de script .ctc para esses registros duplicados são ignorados pelo LEC conformal.
Este problema foi corrigido a partir do software Quartus II versão 7.1.
Para evitar esse problema nas versões 7.0 e anterior, edite o arquivo .ctc U e adicione a string após cada um dos nomes de instâncias Dourada e Revisada para todos os registros duplicados no design Stratix II GX. A adição desta string permite que o LEC Confomal encontre a instância e aplique o comando de equivalência de instância.
Por exemplo, você pode ter o seguinte comando no arquivo .ctc:
add instance equivalence e_I/lc_ff e~SynDup_I/lc_ff -flatten -revised
Modifique este comando da seguinte forma:
add instance equivalence e_I/lc_ff/U e~SynDup_I/lc_ff/U -flatten -revised