Você pode receber um erro, como "Erro: a direção da porta do módulo "rx_datain" no módulo "alt2gxb" não está definida" no software De encontro de Cadência. Esse erro ocorrerá se um módulo que é uma caixa preta para verificação formal corresponder a um módulo na netlist revisada quartus® II que instaura outros módulos de nível inferior. Neste caso, você deve instruir a ferramenta de verificação formal a não analisar os módulos de nível inferior na lista revisada.
Para evitar este problema, adicione o seguinte comando para o invólucro de caixa preta no arquivo de script de verificação formal gerado pelo software Quartus II:add no translate
nome do módulo de caixa preta> -both