Problémy s formálnu kontrolu RTL vs Netlist

[heartfree]

Zdravím všetkých, som sa stretol osobitný problém, keď som si na formálnu kontrolu RTL vs netlist. V RTL: reg [31:0] FIFO [03:00] reg [02:00] Wptr; Vždy @ (posedge) if (Push) FIFO [Wptr] = Din [31:0], FIFO hĺbke 4, ale Wptr je definovaný 0 ~ 7 som zistil, že FIFO [0], FIFO [1], FIFO [2], FIFO [3] sú non-ekvivalent bodov. Sa mohlo zdať, že Wptr [2] Výsledky by v týchto zlyhaní. Má niekto také skúsenosti a vedia, ako to vyriešiť? vďaka

 

[jbeniston]

Neviem, ale mal by ste chýbajúce hodiny a používať non-blocking úlohy v následných procesoch Aká je logika riadenia Wptr?