Misalnya, desain termasuk megafungsi LPM_MULT yang ditentukan dalam skala atas mengakibatkan galat berikut: // Running Conformal on the design gives the following errors.
// Error:: Design unit 'LPM_MULT' is referenced but not defined
Dalam contoh ini, netlist desain pascasintesis menyertakan nama LPM_MULT
dalam huruf kapital. Karena model pustaka verifikasi formal untuk semua megafungsi Altera bersifat huruf kecil, Encounter Conformal tidak dapat menemukan model huruf besar LPM_MULT
di pustaka.
Untuk mengatasi masalah ini, ubah nama dalam netlist desain pascasintesis dari huruf besar menjadi huruf kecil (dalam contoh ini, ubah nama menjadi lpm_mult
).
Untuk informasi lebih lanjut tentang verifikasi formal menggunakan Konformal, lihat bab Cadence Incisive Conformal Equivalency Checker Support (PDF) dalam buku Panduan Quartus II volume 3.