Ketika Anda memiliki fungsi LVDS yang fleksibel dalam desain Cyclone® atau Cyclone II, Anda mungkin mendapatkan ketidaksesuaian dalam verifikasi formal dengan alat LEC Cadence Conformal. Masalahnya terjadi ketika penerima LVDS yang disempurnakan dalam desain memiliki faktor deserialisasi yang ganjil.
Perangkat lunak Quartus® II menggunakan megafungsi altsyncram untuk fungsi LVDS ini. Megafungsi altsyncram yang digunakan selama sintesis tidak diperlakukan sebagai kotak hitam untuk verifikasi formal, yang mengakibatkan banyak register dalam file netlist verifikasi formal (*.vo) yang menyebabkan ketidaksesuaian antara netlist emas dan revisi di LEC Konformal.
Untuk menghindari masalah ini, gunakan langkah-langkah berikut untuk membuat kotak hitam untuk entitas altsyncram yang disimpulkan untuk fungsi LVDS.
- Temukan fungsi altsyncram yang sesuai di jendela Quartus II Project Navigator.<
- Tambahkan penetapan Hierarki Pertahankan dan kotak hitam untuk setiap modul. Misalnya, tugas ini membuat perintah Tcl berikut dalam File Pengaturan Quartus II (*.qsf) untuk desain yang berisi fungsi altsyncram yang disebut altsyncram_l7v:
set_instance_assignment -name PRESERVE_HIERARCHICAL_BOUNDARY FIRM -to | -entity altsyncram_l7vset_instance_assignment -name EDA_FV_HIERARCHY BLACKBOX -to | -entity altsyncram_l7v
- Kompilasi ulang desainnya.