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.