0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

如何使用SystemC做RTL和C/C++的聯(lián)合仿真呢?

Hack電子 ? 來源:AMD開發(fā)者社區(qū) ? 2023-12-13 10:13 ? 次閱讀

前言

當(dāng)FPGA開發(fā)者需要做RTL和C/C++聯(lián)合仿真的時候,一些常用的方法包括使用MicroBlaze軟核,或者使用QEMU仿真ZYNQ的PS部分。

教程介紹一種通過SystemC做RTL/C/C++聯(lián)合仿真的方法,所有的BFMs(Bus Function Module)都是通過SystemC完成。

文中所涉及的所有代碼均在Vivado和Modelsim/Questasim上做了驗證。

簡介

SystemC基礎(chǔ)

SystemC是標(biāo)準C/C++語言的延伸,即可以描述硬件,也具有C/C++的特性。這個特點讓SystemC特別適合做系統(tǒng)級別的設(shè)計、建模以及驗證。

SystemC是周期精確的,其主要的組包括

信號,用來連接兩個或者多個模塊,提供了傳輸系統(tǒng)間傳輸與交流數(shù)據(jù)的通道。

端口,模塊的輸入、輸出接口。

模塊,類似VHDL里面的Entity和敏感列表。

主函數(shù)(sc_main),與C/C++一致,函數(shù)的入口。

在SystemC中實例化一個RTL的實體

在SystemC中實例化一個RTL的實體很直觀,你只需要為其RTL實體手寫一個對應(yīng)的SystemC的外部模塊,之后這個模塊就可以在SystemC的環(huán)境被被其它類調(diào)用。

下面將舉例說明如果在SystemC中構(gòu)建一個VHDL的實體

示例 VHDL的設(shè)計

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è)計BFMs

因為SytemC是通過時鐘驅(qū)動的, 在SystemC里面寫B(tài)FMs就變得很直接在SystemC中實現(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中實現(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è)計框圖

完整的系統(tǒng)框圖如下所示。清楚的展示是SystemC /DUT之間的調(diào)用關(guān)系。

674e08e8-995c-11ee-8b88-92fbcf53809c.png

軟件需求

在教程中,需要以下設(shè)計工具

Vivado Design Suite

Modelsim/Questasim

預(yù)先編譯的Vivado IP的仿真庫

示例工程

打開Vivado,創(chuàng)建一個空的工程。

在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文件,其實現(xiàn)是通過上面介紹的SystemC完成BFMs的方法。

編譯,連接。最后運行vsim。

測試結(jié)果

以下是Questasim的仿真結(jié)果,通過打印的信息可以看到 RTL和C/C++的聯(liá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.






審核編輯:劉清

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • VHDL語言
    +關(guān)注

    關(guān)注

    1

    文章

    113

    瀏覽量

    18039
  • RTL
    RTL
    +關(guān)注

    關(guān)注

    1

    文章

    385

    瀏覽量

    59874
  • C++語言
    +關(guān)注

    關(guān)注

    0

    文章

    147

    瀏覽量

    7010
  • Vivado
    +關(guān)注

    關(guān)注

    19

    文章

    815

    瀏覽量

    66704
  • BFM
    BFM
    +關(guān)注

    關(guān)注

    0

    文章

    3

    瀏覽量

    6679

原文標(biāo)題:使用SystemC做RTL和C/C++ 的聯(lián)合仿真

文章出處:【微信號:Hack電子,微信公眾號:Hack電子】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏

    評論

    相關(guān)推薦

    C語言與C++的區(qū)別

    在很大程度上,C++C的超集,這意味著一個有效的C程序也是一個有效的C++程序。
    發(fā)表于 09-16 10:20 ?1175次閱讀

    SystemC的隨機驗證過程是怎樣的?

    SystemC是基于C++的系統(tǒng)級設(shè)計語言,兼具描述硬件電路模型和面向?qū)ο蟮某橄竽芰Α?/div>
    的頭像 發(fā)表于 08-07 09:43 ?1020次閱讀
    <b class='flag-5'>SystemC</b>的隨機驗證過程是怎樣的?

    介紹一種通過SystemCRTL/C/C++聯(lián)合仿真的方法

    當(dāng)FPGA開發(fā)者需要做RTLC/C++聯(lián)合仿真的時候,一些常用的方法包括使用MicroBlaze軟核,或者使用QEMU
    的頭像 發(fā)表于 12-13 10:11 ?2286次閱讀
    介紹一種通過<b class='flag-5'>SystemC</b><b class='flag-5'>做</b><b class='flag-5'>RTL</b>/<b class='flag-5'>C</b>/<b class='flag-5'>C++</b><b class='flag-5'>聯(lián)合</b><b class='flag-5'>仿真</b>的方法

    如何在ModelSim下用SystemC驗證?

    子,我們假如想做DVB-S2的LDPC,我們一定會先用C++(M atlab也可以)寫仿真程序,驗證算法的正確性。然后假設(shè)我們已經(jīng)確定了目標(biāo)ASIC的架構(gòu),打算用VerilogRTL
    發(fā)表于 03-01 11:30

    基于Borland C++ Builder的Vega仿真程序

    通過充分發(fā)揮仿真領(lǐng)域的熱門軟件Vega 在視景仿真方面和Borland C++ Builder編程語言在界面設(shè)計與程序控制方面的優(yōu)勢,本文以坦克紅外跟蹤仿真場景為例設(shè)計實現(xiàn)了在Borl
    發(fā)表于 01-18 13:38 ?21次下載

    用Visual C++數(shù)據(jù)庫開發(fā)

    實驗 用Visual C++數(shù)據(jù)庫開發(fā) 一、實驗?zāi)康?、了解數(shù)據(jù)庫的訪問方式,掌握ADO 方式訪問數(shù)據(jù)庫2、用 Visual C++制作簡單的數(shù)據(jù)
    發(fā)表于 05-10 10:54 ?2448次閱讀

    RTL8139C RTL8139C-LF RTL8139CL RTL8139CL-LF

    RTL8139C RTL8139C-LF RTL8139CL RTL8139CL-LF
    發(fā)表于 10-25 14:48 ?23次下載
    <b class='flag-5'>RTL8139C</b> <b class='flag-5'>RTL8139C</b>-LF <b class='flag-5'>RTL</b>8139CL <b class='flag-5'>RTL</b>8139CL-LF

    SystemC 的驗證方法和流程介紹

    SystemC 是由C++衍生而來,本質(zhì)是在C++的基礎(chǔ)上添加了硬件擴展庫和仿真核,這使SystemC 可以在不同抽象級對復(fù)雜電子系統(tǒng)建模。
    發(fā)表于 07-19 11:55 ?5102次閱讀
    <b class='flag-5'>SystemC</b> 的驗證方法和流程介紹

    如何從C轉(zhuǎn)向C++ Effective C++ PDF中文版教材免費下載

    對每個人來說,習(xí)慣 C++需要一些時間,對于已經(jīng)熟悉C 的程序員來說,這個過程尤其令人苦惱。因為CC++的子集,所有的C 的技術(shù)都可以繼
    發(fā)表于 01-10 16:48 ?0次下載

    基于C++的雷達仿真系統(tǒng)組件化建模

    基于C++的雷達仿真系統(tǒng)組件化建模
    發(fā)表于 06-30 16:22 ?25次下載

    IAR中使用C++開發(fā)語言,更加簡單高效

    本文簡要介紹了如何在IAR中配置C++開發(fā)環(huán)境,由于C++的封裝支持,引入面向?qū)ο蟮拈_發(fā)思路可以使得用C++進行單片機獲得更高的開發(fā)效率
    發(fā)表于 12-03 11:36 ?4次下載
    IAR中使用<b class='flag-5'>C++</b><b class='flag-5'>做</b>開發(fā)語言,更加簡單高效

    淺談C語言與C++的前世今生

    C++開發(fā)人員將有這些問題歸咎于C,而C開發(fā)人員則認為C++過于瘋狂。我覺得站在C的角度看C++
    發(fā)表于 05-26 09:27 ?482次閱讀
    淺談<b class='flag-5'>C</b>語言與<b class='flag-5'>C++</b>的前世今生

    C++之父新作帶你勾勒現(xiàn)代C++地圖

    為了幫助大家解決這些痛點問題,讓大家領(lǐng)略現(xiàn)代C++之美,掌握其中的精髓,更好地使用C++,C++之父Bjarne Stroustrup坐不住了,他親自操刀寫就了這本《C++之旅》!
    的頭像 發(fā)表于 10-30 16:35 ?895次閱讀
    <b class='flag-5'>C++</b>之父新作帶你勾勒現(xiàn)代<b class='flag-5'>C++</b>地圖

    SystemC中的數(shù)據(jù)類型概念

    引起一個事件,要使用通知函數(shù)notify( ),語法如下: event_name. notify (參數(shù)); 或 notify (參數(shù),event_name); SystemC中的數(shù)據(jù)類型 作為C++
    的頭像 發(fā)表于 11-02 15:44 ?1045次閱讀
    <b class='flag-5'>SystemC</b>中的數(shù)據(jù)類型概念

    C++簡史:C++是如何開始的

    MISRA C++:2023,MISRA? C++ 標(biāo)準的下一個版本,來了!為了幫助您做好準備,我們介紹了 Perforce 首席技術(shù)支持工程師 Frank van den Beuken 博士撰寫
    的頭像 發(fā)表于 01-11 09:00 ?631次閱讀
    <b class='flag-5'>C++</b>簡史:<b class='flag-5'>C++</b>是如何開始的