From 2d7e8d9811446cf2bfd84e8a939fb645622fbb6d Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Sat, 5 Oct 2019 11:07:26 -0600
Subject: [PATCH] add check codes for memory buses

---
 .../SRC/fpga_x2p/base/fpga_x2p_mem_utils.cpp  | 32 +++++++++++++++++++
 .../SRC/fpga_x2p/base/fpga_x2p_mem_utils.h    |  4 +++
 .../SRC/fpga_x2p/verilog/verilog_routing.c    | 27 +++++++++++++++-
 3 files changed, 62 insertions(+), 1 deletion(-)

diff --git a/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.cpp b/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.cpp
index 2fd7c9872..f95f99a88 100644
--- a/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.cpp
+++ b/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.cpp
@@ -270,3 +270,35 @@ void update_mem_module_config_bus(const e_sram_orgz& sram_orgz_type,
     exit(1);
   }
 }
+
+/********************************************************************
+ * Check if the MSB of a configuration bus of a switch block
+ * matches the expected value
+ ********************************************************************/
+bool check_mem_config_bus(const e_sram_orgz& sram_orgz_type, 
+                          const BasicPort& config_bus, 
+                          const size_t& local_expected_msb) {
+  switch (sram_orgz_type) {
+  case SPICE_SRAM_STANDALONE:
+    /* Not supported */
+    return false;
+    break;
+  case SPICE_SRAM_SCAN_CHAIN:
+    /* TODO: comment on why
+     */
+    return (local_expected_msb == config_bus.get_msb());
+    break;
+  case SPICE_SRAM_MEMORY_BANK:
+    /* TODO: comment on why
+     */
+    return (local_expected_msb == config_bus.get_msb());
+    break;
+  default:
+    vpr_printf(TIO_MESSAGE_ERROR,
+               "(File:%s,[LINE%d])Invalid type of SRAM organization!\n",
+               __FILE__, __LINE__);
+    exit(1);
+  }
+  /* Reach here, it means something goes wrong, return a false value */
+  return false;
+}
diff --git a/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.h b/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.h
index 5a25cdcbd..831aca5a8 100644
--- a/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.h
+++ b/vpr7_x2p/vpr/SRC/fpga_x2p/base/fpga_x2p_mem_utils.h
@@ -22,4 +22,8 @@ void update_mem_module_config_bus(const e_sram_orgz& sram_orgz_type,
                                   const size_t& num_config_bits,
                                   BasicPort& config_bus);
 
+bool check_mem_config_bus(const e_sram_orgz& sram_orgz_type, 
+                          const BasicPort& config_bus, 
+                          const size_t& local_expected_msb);
+
 #endif
diff --git a/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_routing.c b/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_routing.c
index 61201e9fb..dc18bee40 100644
--- a/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_routing.c
+++ b/vpr7_x2p/vpr/SRC/fpga_x2p/verilog/verilog_routing.c
@@ -63,7 +63,7 @@ void print_verilog_switch_block_local_sram_wires(std::fstream& fp,
                                                  const RRGSB& rr_gsb,
                                                  const CircuitLibrary& circuit_lib,
                                                  const CircuitModelId& sram_model,
-                                                 const e_sram_orgz sram_orgz_type,
+                                                 const e_sram_orgz& sram_orgz_type,
                                                  const size_t& port_size) {
   size_t local_port_size = port_size;
   if (SPICE_SRAM_SCAN_CHAIN == sram_orgz_type) {
@@ -73,6 +73,28 @@ void print_verilog_switch_block_local_sram_wires(std::fstream& fp,
   print_verilog_local_sram_wires(fp, circuit_lib, sram_model, sram_orgz_type, local_port_size);
 }
 
+/********************************************************************
+ * Check if the MSB of a configuration bus of a switch block
+ * matches the expected value
+ * Exception: 
+ * 1. Configuration bus for configuration chain will follow 
+ * the number of multiplexers in the switch block 
+ ********************************************************************/
+static 
+bool check_switch_block_mem_config_bus(const e_sram_orgz& sram_orgz_type, 
+                                       const RRGSB& rr_gsb,
+                                       const BasicPort& config_bus, 
+                                       const size_t& expected_msb) {
+  size_t local_expected_msb = expected_msb;
+  if (SPICE_SRAM_SCAN_CHAIN == sram_orgz_type) {
+    /* Note the size of local wires is number of routing multiplexers + 1
+     * Wire MSB is the number of routing multiplexers in the configuration chain 
+     */
+    local_expected_msb = find_switch_block_number_of_muxes(rr_gsb); 
+  }
+  return check_mem_config_bus(sram_orgz_type, config_bus, local_expected_msb);
+}
+
 /*********************************************************************
  * Generate the Verilog module for a routing channel
  * Routing track wire, which is 1-input and dual output
@@ -2763,6 +2785,9 @@ void print_verilog_routing_switch_box_unique_module(ModuleManager& module_manage
   }
 
   /* TODO: Add check code for config_bus. The MSB should match the number of configuration bits!!! */
+  VTR_ASSERT(true == check_switch_block_mem_config_bus(cur_sram_orgz_info->type, 
+                                                       rr_gsb, config_bus,
+                                                       rr_gsb.get_sb_num_conf_bits()));
 
   /* Put an end to the Verilog module */
   print_verilog_module_end(fp, module_manager.module_name(module_id));