Merge pull request openhwgroup#2315 from silabs-mateilga/formal_warni…

…ng_cleanup removing unused if from tb
silabs-robin · Dec 7, 2023 · 1fed442 · 1fed442
2 parents 25874b6 + 69b858f
commit 1fed442
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/cv32e40s/tb/uvmt/uvmt_cv32e40s_dut_wrap.sv b/cv32e40s/tb/uvmt/uvmt_cv32e40s_dut_wrap.sv
@@ -55,7 +55,6 @@ module uvmt_cv32e40s_dut_wrap
     uvma_wfe_wu_if_t                wfe_wu_if,
     uvmt_cv32e40s_vp_status_if_t    vp_status_if,
     uvme_cv32e40s_core_cntrl_if_t   core_cntrl_if,
-    uvmt_cv32e40s_core_status_if_t  core_status_if,
     uvma_obi_memory_if_t            obi_instr_if,
     uvma_obi_memory_if_t            obi_data_if,
     uvma_fencei_if_t                fencei_if
@@ -166,7 +165,7 @@ module uvmt_cv32e40s_dut_wrap
          .alert_minor_o          ( alert_minor                    ),
 
          .fetch_enable_i         ( core_cntrl_if.fetch_en         ),
-         .core_sleep_o           ( core_status_if.core_busy       )
+         .core_sleep_o           ()
         );
 
         // instantiate rchk shim

diff --git a/cv32e40s/tb/uvmt/uvmt_cv32e40s_tb.sv b/cv32e40s/tb/uvmt/uvmt_cv32e40s_tb.sv
@@ -82,8 +82,6 @@ module uvmt_cv32e40s_tb;
                                                  .exit_valid(),
                                                  .exit_value()); // Status information generated by the Virtual Peripherals in the DUT WRAPPER memory.
    uvme_cv32e40s_core_cntrl_if_t      core_cntrl_if();
-   uvmt_cv32e40s_core_status_if_t   core_status_if(.core_busy(),
-                                                   .sec_lvl());     // Core status outputs
 
    // RVVI SystemVerilog Interface
    `ifndef FORMAL
@@ -103,7 +101,6 @@ module uvmt_cv32e40s_tb;
     .interrupt_if   (interrupt_if),
     .vp_status_if   (vp_status_if),
     .core_cntrl_if  (core_cntrl_if),
-    .core_status_if (core_status_if),
     .obi_instr_if   (obi_instr_if),
     .obi_data_if    (obi_data_if),
     .fencei_if      (fencei_if),
@@ -2056,7 +2053,6 @@ module uvmt_cv32e40s_tb;
      // Virtual Peripheral Status interface
      uvm_config_db#(virtual uvmt_cv32e40s_vp_status_if_t              )::set(.cntxt(null), .inst_name("*"), .field_name("vp_status_vif"),       .value(vp_status_if)      );
      uvm_config_db#(virtual uvme_cv32e40s_core_cntrl_if_t             )::set(.cntxt(null), .inst_name("*"), .field_name("core_cntrl_vif"),      .value(core_cntrl_if)     );
-     uvm_config_db#(virtual uvmt_cv32e40s_core_status_if_t            )::set(.cntxt(null), .inst_name("*"), .field_name("core_status_vif"),     .value(core_status_if)    );
      uvm_config_db#(virtual uvmt_cv32e40s_debug_cov_assert_if_t       )::set(.cntxt(null), .inst_name("*.env"), .field_name("debug_cov_vif"),.value(dut_wrap.cv32e40s_wrapper_i.debug_cov_assert_if));
      uvm_config_db#(virtual uvmt_cv32e40s_support_logic_module_o_if_t )::set(.cntxt(null), .inst_name("*.env"), .field_name("support_logic_vif"),.value(dut_wrap.cv32e40s_wrapper_i.support_logic_module_o_if));