應(yīng)用EDA仿真技術(shù)解決FPGA設(shè)計(jì)開(kāi)發(fā)中故障的方法
將list file另存為文本格式文件即可,如圖4所示。
圖4 “另存為”選項(xiàng)界面
此后可以把這個(gè)文本文件中無(wú)用的描述刪掉,只留SignalTap抓出來(lái)的數(shù)據(jù)(空格、h等符號(hào)也要?jiǎng)h掉),另存為.dat文件供仿真使用。
有了故障出現(xiàn)時(shí)的輸入數(shù)據(jù),我們就可以在仿真環(huán)境下構(gòu)建故障出現(xiàn)的條件。
?、诶?dat文件建立bug出現(xiàn)的條件
用verilog語(yǔ)言編寫(xiě)仿真文件(testbench),使用語(yǔ)句$readmemh或$readmemb將.dat文件中的數(shù)據(jù)存儲(chǔ)到一個(gè)設(shè)定的ram中,如:$readmemh(“s.dat”,ram)。
注意$readmemh讀取是按照十六進(jìn)制數(shù)據(jù)進(jìn)行(認(rèn)為.dat文件中的數(shù)據(jù)都是十六進(jìn)制數(shù)),會(huì)自動(dòng)將其轉(zhuǎn)換為4位二進(jìn)制數(shù)存入ram中,所以設(shè)定的ram位寬要是.dat文件中數(shù)據(jù)位寬的4倍;使用$readmemb時(shí),存儲(chǔ)SignalTap所抓信號(hào)時(shí),信號(hào)都要先設(shè)定為binary類型,ram位寬就是.dat文件數(shù)據(jù)的位寬。ram的深度為.dat文件中數(shù)據(jù)的個(gè)數(shù)。
然后在程序里把ram中數(shù)據(jù)按照所對(duì)應(yīng)時(shí)鐘沿輸出到一個(gè)寄存器變量中,ram地址累加即可。
always@(posedge clk)
begin
data=ram[addr];
addr=addr+1'b1;
end
復(fù)現(xiàn)bug存在條件時(shí),需將模塊的輸入信號(hào)與ram中的數(shù)據(jù)位相對(duì)應(yīng),仿真文件調(diào)用模塊時(shí),將寄存器data對(duì)應(yīng)位作為輸入接入即可。
評(píng)論