github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-20 04:07:36 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Verif: don't bind obi_amo_if if atomic extension not supported (#2896)

Browse source
This commit is contained in:
Jalali 2025-04-02 09:58:38 +00:00 • committed by GitHub
parent 57771bbbe8
commit 8d89206604
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 12 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

22
verif/tb/uvmt/uvmt_cva6_tb.sv
View file

@ -125,16 +125,18 @@ module uvmt_cva6_tb;
.ACHK_WIDTH(CVA6Cfg.ObiStorebusCfg.OptionalCfg.AChkWidth),
.RCHK_WIDTH(CVA6Cfg.ObiStorebusCfg.OptionalCfg.RChkWidth),
.IS_1P2(1)) obi_store_assert(.obi(obi_store_if));
bind uvmt_cva6_dut_wrap uvma_obi_memory_assert_if_wrp #(
.AUSER_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.AUserWidth),
.WUSER_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.WUserWidth),
.RUSER_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.RUserWidth),
.ADDR_WIDTH(CVA6Cfg.ObiAmobusCfg.AddrWidth),
.DATA_WIDTH(CVA6Cfg.ObiAmobusCfg.DataWidth),
.ID_WIDTH(CVA6Cfg.ObiAmobusCfg.IdWidth),
.ACHK_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.AChkWidth),
.RCHK_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.RChkWidth),
.IS_1P2(1)) obi_amo_assert(.obi(obi_amo_if));
if (CVA6Cfg.RVA) begin
bind uvmt_cva6_dut_wrap uvma_obi_memory_assert_if_wrp #(
.AUSER_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.AUserWidth),
.WUSER_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.WUserWidth),
.RUSER_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.RUserWidth),
.ADDR_WIDTH(CVA6Cfg.ObiAmobusCfg.AddrWidth),
.DATA_WIDTH(CVA6Cfg.ObiAmobusCfg.DataWidth),
.ID_WIDTH(CVA6Cfg.ObiAmobusCfg.IdWidth),
.ACHK_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.AChkWidth),
.RCHK_WIDTH(CVA6Cfg.ObiAmobusCfg.OptionalCfg.RChkWidth),
.IS_1P2(1)) obi_amo_assert(.obi(obi_amo_if));
end
bind uvmt_cva6_dut_wrap uvma_obi_memory_assert_if_wrp #(
.AUSER_WIDTH(CVA6Cfg.ObiLoadbusCfg.OptionalCfg.AUserWidth),
.WUSER_WIDTH(CVA6Cfg.ObiLoadbusCfg.OptionalCfg.WUserWidth),