O software Encontro Conformal pode relatar este erro ao ler a netlist revisada. Isso ocorre porque a netlist do Arquivo de saída Verilog (.vo) gerada pelo software Quartus® II contém uma porta adicional no módulo de caixa preta instautada que não está definido na síntese ou no módulo de simulação. A porta geralmente é um sinal de controle que controla a lógica de registro e combinação dentro da hierarquia da caixa preta.
A solução alternativa para este problema é adicionar o comando a seguir durante o modo de configuração do design. Este comando instrui a Conformal a ignorar o erro causado pela porta adicional.
set rule handling HRC3.3 -ignore
Para obter mais informações sobre verificação formal usando o Conformal, consulte o capítulo Suporte conformal do Encontro de Cadência (PDF) no volume 3 do Manual quartus II.