masalah yang menarik di conformal

M

mic_huhu

Guest
hi, semua

Aku menghadapi kasus aneh.ketika aku memeriksa ECO netlist terhadap kode RTL asli saya, mereka sama!tetapi kedua netlist adalah nonequal dan kedua RTL adalah nonequal juga.mengapa?

Saya telah mencoba servial kali untuk memverifikasi ECO netlist.itu benar.

yang dapat memberitahu saya kenapa?

terima kasih

Johnny

 
dua fungsional desain mungkin sama, tapi mungkin tidak secara struktural sama.

fungsional verifikasi, kami dapat memeriksa beberapa kondisi.tapi mungkin ada begitu banyak logika yang belum diuji atau setara

 
tapi. dua desain yang berbeda dalam kinerja, yang dapat dibuktikan oleh FPGA.

cek modul dapat check it out.mengapa sistem lengkap cek tidak bisa?

Saya telah mencoba beberapa kali.hasilnya sama.

yang systhesised netlist (berasal dari Eco RTL) adalah sama dengan ECO netlist.tidak sama dengan NonEco netlist.

 

Welcome to EDABoard.com

Sponsor

Back
Top