ID Artikel: 000085901 Jenis Konten: Pemecahan Masalah Terakhir Ditinjau: 11/09/2012

Mengapa Encounter Conformal melaporkan entitas desain yang tidak terdefinisi selama verifikasi formal?

Lingkungan

  • Verifikasi
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    Deskripsi Alat verifikasi formal Encounter Conformal dapat melaporkan galat ini jika nama entitas desain di netlist desain tidak cocok dengan kasus entitas di pustaka verifikasi formal.

    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.

    Produk Terkait

    Artikel ini berlaku untuk 1 produk

    Stratix® FPGA

    Isi halaman ini adalah kombinasi terjemahan manusia dan komputer dari konten berbahasa Inggris. Konten ini diberikan hanya untuk kenyamanan Anda serta sebagai informasi umum dan tidak bisa dianggap sebagai lengkap atau akurat. Jika terdapat kontradiksi antara versi bahasa Inggris halaman ini dan terjemahannya, versi bahasa Inggris akan didahulukan. Lihat versi bahasa Inggris halaman ini.