ID do artigo: 000076107 Tipo de conteúdo: Solução de problemas Última revisão: 11/09/2012

Por que as portas de entrada despropulsor em um módulo no design dourado causam incompatibilidades formais de verificação?

Ambiente

    Verificação
BUILT IN - ARTICLE INTRO SECOND COMPONENT
Descrição

Esse tipo de incompatibilidade pode ocorrer quando uma porta não estiver despropulsa no design dourado.  Neste caso, o Encounter Conformal atribui um valor "Z" na porta sem unidade, mas o design revisado tem um valor predefinido para essa porta atribuída pelo Quartus® SOFTWARE II.  O Encounter Conformal detecta que os designs não são funcionalmente equivalentes e relata uma incompatibilidade relacionada às portas.

Em alguns casos, o problema ocorre quando você usa instações de VHDL de alguns Altera®megafunções.  Para evitar este problema, gere sua variação de megafunção no HDL Verilog.

Produtos relacionados

Este artigo aplica-se a 1 produtos

FPGAs Stratix®

1

O conteúdo desta página é uma combinação de tradução humana e por computador do conteúdo original em inglês. Este conteúdo é fornecido para sua conveniência e apenas para informação geral, e não deve ser considerado completo ou exato. Se houver alguma contradição entre a versão em inglês desta página e a tradução, a versão em inglês governará e será a controle. Exibir a versão em inglês desta página.