前言
當(dāng)FPGA開發(fā)者需要做RTL和C/C++聯(lián)合仿真的時(shí)候,一些常用的方法包括使用MicroBlaze軟核,或者使用QEMU仿真ZYNQ的PS部分。
此教程介紹一種通過SystemC做RTL/C/C++聯(lián)合仿真的方法,所有的BFMs(Bus Function Module)都是通過SystemC完成。
文中所涉及的所有代碼均在Vivado和Modelsim/Questasim上做了驗(yàn)證。
簡介
SystemC基礎(chǔ)
SystemC是標(biāo)準(zhǔn)C/C++語言的延伸,即可以描述硬件,也具有C/C++的特性。這個(gè)特點(diǎn)讓SystemC特別適合做系統(tǒng)級別的設(shè)計(jì)、建模以及驗(yàn)證。
SystemC是周期精確的,其主要的組包括
信號,用來連接兩個(gè)或者多個(gè)模塊,提供了傳輸系統(tǒng)間傳輸與交流數(shù)據(jù)的通道。
模塊,類似VHDL里面的Entity和敏感列表。
主函數(shù)(sc_main),與C/C++一致,函數(shù)的入口。
在SystemC中實(shí)例化一個(gè)RTL的實(shí)體
在SystemC中實(shí)例化一個(gè)RTL的實(shí)體很直觀,你只需要為其RTL實(shí)體手寫一個(gè)對應(yīng)的SystemC的外部模塊,之后這個(gè)模塊就可以在SystemC的環(huán)境被被其它類調(diào)用。
下面將舉例說明如果在SystemC中構(gòu)建一個(gè)VHDL的實(shí)體
示例 VHDL的設(shè)計(jì)
entitycounteris port( clk:instd_logic; reset:instd_logic; count:std_logic_vector(7downto0) ); end; architecturertlofcounteris … endrtl;
對應(yīng)的SystemC模塊
classcounter:publicsc_foreign_module{ public: sc_inclk; sc_inreset; sc_out>count; counter(sc_module_namenm):sc_foreign_module(nm,"work.counter"), clk("clk"), reset("reset"), count("count"){ } };
需要注意的是,你還可以通過ModelSim/QuestaSim提供的scgenmod工具自動生成VHDL、Verilog對應(yīng)的SystemC的模塊。
用SystemC設(shè)計(jì)BFMs
因?yàn)镾ytemC是通過時(shí)鐘驅(qū)動的, 在SystemC里面寫B(tài)FMs就變得很直接在SystemC中實(shí)現(xiàn)AXI4-Lite的讀操作可以如下,
u32Xil_In32(UINTPTRAddr){ u32data; if(aresetn_i.read()==SC_LOGIC_0){ awaddr.write(0); awvalid.write(SC_LOGIC_0); wdata.write(0); wvalid.write(SC_LOGIC_0); bready.write(SC_LOGIC_1); araddr.write(0); arvalid.write(SC_LOGIC_0); rready.write(SC_LOGIC_1); } else{ sc_core::wait(aclk_i.posedge_event()); araddr.write(addr); arvalid.write(SC_LOGIC_1); uint32_tnum_clocks=0; while(arready.read()!=SC_LOGIC_1){ sc_core::wait(aclk_i.posedge_event()); num_clocks++; if(num_clocks==m_timeout_clks){ arvalid.write(SC_LOGIC_0); return-1; } } arvalid.write(SC_LOGIC_0); num_clocks=0; while(rvalid.read()!=SC_LOGIC_1){ sc_core::wait(aclk_i.posedge_event()); num_clocks++; if(num_clocks==m_timeout_clks){ return-1; } } data=rdata.read().to_uint(); } returndata; }
在SystemC中實(shí)現(xiàn)AXI4-Lite的寫操作可以如下
voidXil_Out32(UINTPTRAddr,u32Value){ if(aresetn_i.read()==SC_LOGIC_0){ awaddr.write(0); awvalid.write(SC_LOGIC_0); wdata.write(0); wvalid.write(SC_LOGIC_0); bready.write(SC_LOGIC_1); araddr.write(0); arvalid.write(SC_LOGIC_0); rready.write(SC_LOGIC_1); } else{ sc_core::wait(aclk_i.posedge_event()); awaddr.write(Addr); awvalid.write(SC_LOGIC_1); wdata.write(Value); wvalid.write(SC_LOGIC_1); uint32_tnum_clocks=0; boolm_awready=false; boolm_wready=false; while((!m_awready)||(!m_wready)){ sc_core::wait(aclk_i.posedge_event()); if(awready.read()==SC_LOGIC_1){ m_awready.write(true); awvalid.write(SC_LOGIC_0); } if(wready.read()==SC_LOGIC_1){ m_wready.write(true); wvalid.write(SC_LOGIC_0); } num_clocks++; if(num_clocks==m_timeout_clks){ awvalid.write(SC_LOGIC_0); wvalid.write(SC_LOGIC_0); return; } } num_clocks=0; while(bvalid.read()!=SC_LOGIC_1){ sc_core::wait(aclk_i.posedge_event()); num_clocks++; if(num_clocks==m_timeout_clks){ return; } } } }
系統(tǒng)設(shè)計(jì)框圖
完整的系統(tǒng)框圖如下所示。清楚的展示是SystemC /DUT之間的調(diào)用關(guān)系。
軟件需求
在教程中,需要以下設(shè)計(jì)工具
Vivado Design Suite
Modelsim/Questasim
預(yù)先編譯的Vivado IP的仿真庫
示例工程
打開Vivado,創(chuàng)建一個(gè)空的工程。
在Vivado里面,打開Create and Package New IP wizard,選擇Create a new AXI4 peripheral,之后create an AXI4 peripheral using the default template。
使用scgenmod指令創(chuàng)建SystemC的外部模塊。
重寫xil_io.c文件,其實(shí)現(xiàn)是通過上面介紹的SystemC完成BFMs的方法。
編譯,連接。最后運(yùn)行vsim。
測試結(jié)果
以下是Questasim的仿真結(jié)果,通過打印的信息可以看到 RTL和C/C++的聯(lián)合仿真功能的運(yùn)行。
#vsim-t1psxil_defaultlib.Envxil_defaultlib.glbl-onfinishstop-Lxpm-Lunisims_ver-Lsecureip-Lunimacro_ver-Lxil_defaultlib-lsimlog.txt-assertdebug #****************************** #*UserPeripheralSelfTest #****************************** #Userlogicslavemoduletest... # #-slaveregisterwrite/readpassed # #**Note:(vsim-6574)SystemCsimulationstoppedbyuser.
審核編輯:湯梓紅
-
FPGA
+關(guān)注
關(guān)注
1629文章
21729瀏覽量
602979 -
仿真
+關(guān)注
關(guān)注
50文章
4070瀏覽量
133552 -
RTL
+關(guān)注
關(guān)注
1文章
385瀏覽量
59759 -
C++
+關(guān)注
關(guān)注
22文章
2108瀏覽量
73618 -
systemc
+關(guān)注
關(guān)注
2文章
25瀏覽量
14557
發(fā)布評論請先 登錄
相關(guān)推薦
評論