Anda mungkin menerima galat seperti "Galat: Arah port modul 'rx_datain' dalam modul 'alt2gxb' tidak didefinisikan" dalam perangkat lunak Cadence Encounter Conformal. Galat ini terjadi jika modul yang merupakan kotak hitam untuk verifikasi formal sesuai dengan modul dalam netlist revisi Quartus® II yang menginstansi modul tingkat bawah lainnya. Dalam hal ini, Anda harus menginstruksikan alat verifikasi formal untuk tidak menguraikan modul tingkat bawah dalam netlist yang direvisi.
Untuk menghindari masalah ini, tambahkan perintah berikut untuk pembungkus kotak hitam dalam file skrip verifikasi formal yang dihasilkan oleh perangkat lunak Quartus II:add no translate
nama modul kotak hitam> -both