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

Por que o Encounter Conformal reporta entidades de design indefinido durante a verificação formal?

Ambiente

  • Verificação
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    Descrição A ferramenta de verificação formal de encontro conformal pode relatar este erro se o nome da entidade de design na netlist de design não corresponder ao caso da entidade na biblioteca de verificação formal.

    Por exemplo, designs incluindo LPM_MULT megafunção especificados em maiúsculas resultam nos seguintes erros:
    // Running Conformal on the design gives the following errors.
    // Error:: Design unit 'LPM_MULT' is referenced but not defined

    Neste exemplo, a netlist de design pós-síntese inclui o nome LPM_MULT em maiúscula. Como os modelos formais de biblioteca de verificação para todas as Altera megafunções são minúsculas, o Encounter Conformal LPM_MULT não pode encontrar o modelo maiúscula na biblioteca.

    Para corrigir este problema, altere o nome na netlist de design pós-síntese de maiúscula para minúscula (neste exemplo, mude o nome para lpm_mult).

    Para obter mais informações sobre a verificação formal usando o Conformal, consulte o capítulo Suporte para verificação de equivalência conformal de cadência (PDF) no volume 3 do Manual do Quartus II.

    Produtos relacionados

    Este artigo aplica-se a 1 produtos

    FPGAs Stratix®

    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 prevalecerá e será a determinante. Exibir a versão em inglês desta página.