diff --git a/include/alu.h b/include/alu.h
index e6faa05..69e4cbd 100644
--- a/include/alu.h
+++ b/include/alu.h
@@ -7,6 +7,7 @@ struct ALU_Input {
   dark::Wire<32> operand1;
   dark::Wire<32> operand2;
   dark::Wire<5> request_ROB_index;
+  dark::Wire<32> request_PC;
 };
 struct ALU_Output {
   dark::Register<2> alu_status;
@@ -22,5 +23,5 @@ struct ALU : public dark::Module<ALU_Input, ALU_Output> {
     // Update function
   }
 };
-}
+}  // namespace ZYM
 #endif
\ No newline at end of file
diff --git a/include/csu.h b/include/csu.h
index c017036..b64f4c8 100644
--- a/include/csu.h
+++ b/include/csu.h
@@ -27,10 +27,10 @@ struct CentralScheduleUnit_Input {
   dark::Wire<32> completed_aluins_result;
   dark::Wire<32> completed_alu_resulting_PC;
   // receive data from register file
-  dark::Wire<1> rs1_nodep;
-  dark::Wire<5> rs1_deps;
-  dark::Wire<1> rs2_nodep;
-  dark::Wire<5> rs2_deps;
+  // dark::Wire<1> rs1_nodep;
+  // dark::Wire<5> rs1_deps;
+  // dark::Wire<1> rs2_nodep;
+  // dark::Wire<5> rs2_deps;
 };
 struct CentralScheduleUnit_Output {
   dark::Register<1> force_clear_announcer;
@@ -40,6 +40,7 @@ struct CentralScheduleUnit_Output {
   dark::Register<5> issue_ROB_index;
   dark::Register<7 + 3 + 1> full_ins_id;
   dark::Register<32> full_ins;
+  dark::Register<32> issuing_PC;
   dark::Register<5> decoded_rd;
   dark::Register<1> has_decoded_rd;
   dark::Register<5> decoded_rs1;
@@ -55,6 +56,10 @@ struct CentralScheduleUnit_Output {
   dark::Register<1> cache_hit;
   dark::Register<5> cache_hit_ROB_index;
   dark::Register<32> cache_hit_data;
+  dark::Register<1> is_committing;
+  dark::Register<5> commit_reg_index;
+  dark::Register<32> commit_reg_value;
+  dark::Register<5> commit_ins_ROB_index;
 };
 struct ROBRecordType {
   dark::Register<4> state;
@@ -100,6 +105,11 @@ struct CentralScheduleUnit
       ROB_tail <= 0;
       ROB_remain_space <= kROBSize;
     }
+    // STEP1: try to commit and see if we need to rollback
+    // process memory access request from LSQ
+    // listen to the data from Memory and ALU
+    // try to issue and check if we need to stall
+    // provide the potentially missing data for instruction issued last cycle
   }
 };
 }  // namespace ZYM
diff --git a/include/loadstorequeue.h b/include/loadstorequeue.h
index 0e286a2..dc439ff 100644
--- a/include/loadstorequeue.h
+++ b/include/loadstorequeue.h
@@ -1,5 +1,6 @@
 #pragma once
 #ifndef LOADSTOREQUEUE_H
+#include <array>
 #include "tools.h"
 namespace ZYM {
 struct LoadStoreQueue_Input {
@@ -9,8 +10,9 @@ struct LoadStoreQueue_Input {
   dark::Wire<1> is_issuing;
   dark::Wire<1> issue_type;
   dark::Wire<5> issue_ROB_index;
-  dark::Wire<7+3+1> full_ins_id;
+  dark::Wire<7 + 3 + 1> full_ins_id;
   dark::Wire<32> full_ins;
+  dark::Wire<32> issuing_PC;
   dark::Wire<5> decoded_rd;
   dark::Wire<1> has_decoded_rd;
   dark::Wire<5> decoded_rs1;
@@ -50,18 +52,64 @@ struct LoadStoreQueue_Output {
   dark::Register<32> request_data_output;
   dark::Register<6> LSQ_remain_space_output;
 };
+struct LSQ_Record {
+  dark::Register<2> state;  // 0: no, 1: initializing dependency, 2: waiting for data
+  dark::Register<7 + 3 + 1> full_ins_id;
+  dark::Register<32> Vj, Vk;
+  dark::Register<5> Qj, Qk;
+  dark::Register<5> ins_ROB_index;
+  dark::Register<32> ins_self_PC;
+  dark::Register<32> ins_imm;
+  dark::Register<32> addr;
+};
 struct LoadStoreQueue_Private {
   dark::Register<5> LSQ_head;
   dark::Register<5> LSQ_tail;
   dark::Register<6> LSQ_remain_space;
+  std::array<LSQ_Record, 32> LSQ_queue;
+  dark::Register<1> has_accepted_ins_last_cycle;
+  dark::Register<5> last_cycle_ins_LSQ_index;
 };
-struct LoadStoreQueue: public dark::Module<LoadStoreQueue_Input,LoadStoreQueue_Output,LoadStoreQueue_Private> {
-    LoadStoreQueue() {
-        // Constructor
+struct LoadStoreQueue : public dark::Module<LoadStoreQueue_Input, LoadStoreQueue_Output, LoadStoreQueue_Private> {
+  LoadStoreQueue() {
+    // Constructor
+  }
+  void work() {
+    if (bool(reset)) {
+      LSQ_remain_space <= 32;
+      LSQ_head <= 0;
+      LSQ_tail <= 0;
+      for (auto &record : LSQ_queue) {
+        record.state <= 0;
+      }
+      has_accepted_ins_last_cycle <= 0;
+      return;
     }
-    void work() {
-        // Update function
+    if (bool(force_clear_receiver)) {
+      LSQ_remain_space <= 32;
+      LSQ_head <= 0;
+      LSQ_tail <= 0;
+      for (auto &record : LSQ_queue) {
+        record.state <= 0;
+      }
+      has_accepted_ins_last_cycle <= 0;
+      return;
     }
+    if (bool(is_issuing) && issue_type == 1) {
+#ifdef _DEBUG
+      if (LSQ_remain_space == 0 || LSQ_remain_space > 32) throw std::runtime_error("LSQ_remain_space is out of range");
+#endif
+      has_accepted_ins_last_cycle <= 1;
+      // TODO: now we can accept the instruction, that is, to store it in the LSQ
+    } else
+      has_accepted_ins_last_cycle <= 0;
+    if (bool(has_accepted_ins_last_cycle)) {
+      // TODO: now dependency info can be read from the register file, in the mean time, CSU will provide the
+      // potentially missing data
+    }
+    // TODO: now alu, memory (and L0 cache of memory) may provide data to satisfy the dependency
+    // TODO: now, we can check if we can execute the instruction, memory and L0 cache will listen to this
+  }
 };
-}
+}  // namespace ZYM
 #endif
\ No newline at end of file
diff --git a/include/registerfile.h b/include/registerfile.h
index 359f9c9..1ee3672 100644
--- a/include/registerfile.h
+++ b/include/registerfile.h
@@ -1,7 +1,10 @@
 #pragma once
+#include "concept.h"
 #ifndef REGISTERFILE_H
+#include <array>
 #include "tools.h"
 namespace ZYM {
+const static size_t kTotalRegisters = 32;
 struct RegisterFile_Input {
   // receive control signal from CSU
   dark::Wire<1> reset;
@@ -9,7 +12,7 @@ struct RegisterFile_Input {
   dark::Wire<1> is_issuing;
   dark::Wire<1> issue_type;
   dark::Wire<5> issue_ROB_index;
-  dark::Wire<7+3+1> full_ins_id;
+  dark::Wire<7 + 3 + 1> full_ins_id;
   dark::Wire<32> full_ins;
   dark::Wire<5> decoded_rd;
   dark::Wire<1> has_decoded_rd;
@@ -17,6 +20,10 @@ struct RegisterFile_Input {
   dark::Wire<1> has_decoded_rs1;
   dark::Wire<5> decoded_rs2;
   dark::Wire<1> has_decoded_rs2;
+  dark::Wire<1> is_committing;
+  dark::Wire<5> commit_ins_ROB_index;
+  dark::Wire<5> commit_reg_index;
+  dark::Wire<32> commit_reg_value;
 };
 struct RegisterFile_Output {
   dark::Register<1> rs1_nodep;
@@ -26,13 +33,63 @@ struct RegisterFile_Output {
   dark::Register<5> rs2_deps;
   dark::Register<32> rs2_value;
 };
-struct RegisterFile : public dark::Module<RegisterFile_Input, RegisterFile_Output> {
-    RegisterFile() {
-        // Constructor
-    }
-    void work() {
-        // Update function
-    }
+struct RegisterFile_Private {
+  std::array<dark::Register<32>, kTotalRegisters> registers;
+  std::array<dark::Register<5>, kTotalRegisters> register_deps;
+  std::array<dark::Register<1>, kTotalRegisters> register_nodep;
 };
-}
+struct RegisterFile : public dark::Module<RegisterFile_Input, RegisterFile_Output, RegisterFile_Private> {
+  RegisterFile() {
+    // Constructor
+  }
+  void work() {
+    if (bool(reset)) {
+      for(auto& reg : registers) {
+        reg <= 0;
+      }
+      for(auto& reg : register_deps) {
+        reg <= 0;
+      }
+      for(auto& reg : register_nodep) {
+        reg <= 1;
+      }
+      return;
+    }
+    if(bool(is_committing)) {
+      registers[static_cast<max_size_t>(commit_reg_index)] <= commit_reg_value;
+      if(register_deps[static_cast<max_size_t>(commit_reg_index)] == commit_ins_ROB_index) {
+        register_nodep[static_cast<max_size_t>(commit_reg_index)] <= 1;
+      }
+    }
+    if(bool(is_issuing)) {
+      if(bool(has_decoded_rs1)) {
+        if((!bool(is_committing))||(commit_reg_index != decoded_rs1)) {
+          rs1_deps <= register_deps[static_cast<max_size_t>(decoded_rs1)];
+          rs1_value <= registers[static_cast<max_size_t>(decoded_rs1)];
+          rs1_nodep <= register_nodep[static_cast<max_size_t>(decoded_rs1)];
+        } else {
+          rs1_deps <= 0;
+          rs1_value <= commit_reg_value;
+          rs1_nodep <= 1;
+        }
+      }
+      if(bool(has_decoded_rs2)) {
+        if((!bool(is_committing))||(commit_reg_index != decoded_rs2)) {
+          rs2_deps <= register_deps[static_cast<max_size_t>(decoded_rs2)];
+          rs2_value <= registers[static_cast<max_size_t>(decoded_rs2)];
+          rs2_nodep <= register_nodep[static_cast<max_size_t>(decoded_rs2)];
+        } else {
+          rs2_deps <= 0;
+          rs2_value <= commit_reg_value;
+          rs2_nodep <= 1;
+        }
+      }
+      if(bool(has_decoded_rd)) {
+        register_deps[static_cast<max_size_t>(decoded_rd)] <= static_cast<max_size_t>(issue_ROB_index);
+        register_nodep[static_cast<max_size_t>(decoded_rd)] <= 0;
+      }
+    }
+  }
+};
+}  // namespace ZYM
 #endif
\ No newline at end of file
diff --git a/include/reservestation.h b/include/reservestation.h
index 559fda9..3b2b6c1 100644
--- a/include/reservestation.h
+++ b/include/reservestation.h
@@ -1,5 +1,6 @@
 #pragma once
 #ifndef RESERVATIONSTATION_H
+#include <array>
 #include "tools.h"
 namespace ZYM {
 struct ReserveStation_Input {
@@ -9,8 +10,9 @@ struct ReserveStation_Input {
   dark::Wire<1> is_issuing;
   dark::Wire<1> issue_type;
   dark::Wire<5> issue_ROB_index;
-  dark::Wire<7+3+1> full_ins_id;
+  dark::Wire<7 + 3 + 1> full_ins_id;
   dark::Wire<32> full_ins;
+  dark::Wire<32> issuing_PC;
   dark::Wire<5> decoded_rd;
   dark::Wire<1> has_decoded_rd;
   dark::Wire<5> decoded_rs1;
@@ -45,23 +47,67 @@ struct ReserveStation_Input {
 };
 struct ReserveStation_Output {
   // alu will listen for these:
-  dark::Register<7+3+1> request_full_id;
+  dark::Register<7 + 3 + 1> request_full_id;
   dark::Register<32> operand1;
   dark::Register<32> operand2;
   dark::Register<5> request_ROB_index;
   dark::Register<6> RS_remain_space_output;
 };
+struct RS_Record {
+  dark::Register<2> state;  // 0: no, 1: initializing dependency, 2: waiting for data
+  dark::Register<7 + 3 + 1> full_ins_id;
+  dark::Register<32> Vj, Vk;
+  dark::Register<5> Qj, Qk;
+  dark::Register<5> ins_ROB_index;
+  dark::Register<32> ins_self_PC;
+  dark::Register<32> ins_imm;
+  dark::Register<32> addr;
+};
 struct ReserveStation_Private {
-  dark::Register<5> RS_head;
-  dark::Register<5> RS_tail;
+  dark::Register<6> RS_remaining_space;
+  std::array<RS_Record, 32> RS_records;
+  dark::Register<1> has_accepted_ins_last_cycle;
 };
 struct ReserveStation : public dark::Module<ReserveStation_Input, ReserveStation_Output, ReserveStation_Private> {
-    ReserveStation() {
-        // Constructor
+  ReserveStation() {
+    // Constructor
+  }
+  void work() {
+    // Update function
+    if (bool(reset)) {
+      for (auto &record : RS_records) {
+        record.state <= 0;
+      }
+      RS_remaining_space <= 32;
+      request_full_id <= 0;
+      return;
     }
-    void work() {
-        // Update function
+    if (bool(force_clear_receiver)) {
+      for (auto &record : RS_records) {
+        record.state <= 0;
+      }
+      RS_remaining_space <= 32;
+      request_full_id <= 0;
+      return;
     }
+    if (bool(is_issuing) && issue_type == 0) {
+#ifdef _DEBUG
+      if (RS_remaining_space == 0 || RS_remaining_space > 32) {
+        std::cerr << "Reserve Station is full, cannot issue new instruction" << std::endl;
+        return;
+      }
+#endif
+      has_accepted_ins_last_cycle <= 1;
+      // TODO: to something to accept the instruction
+    } else
+      has_accepted_ins_last_cycle <= 0;
+    if (bool(has_accepted_ins_last_cycle)) {
+      // TODO: now dependency info can be read from the register file, in the mean time, CSU will provide the
+      // potentially missing data
+    }
+    // TODO: now alu, memory (and L0 cache of memory) may provide data to satisfy the dependency
+    // TODO: now, we can check if we can execute the instruction, memory and L0 cache will listen to this
+  }
 };
-}
+}  // namespace ZYM
 #endif
\ No newline at end of file
diff --git a/src/main.cpp b/src/main.cpp
index 3b0edea..8452511 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -47,6 +47,7 @@ int main(int argc, char **argv) {
   RWConnect(csu.issue_ROB_index, lsq.issue_ROB_index);
   RWConnect(csu.full_ins_id, lsq.full_ins_id);
   RWConnect(csu.full_ins, lsq.full_ins);
+  RWConnect(csu.issuing_PC, lsq.issuing_PC);
   RWConnect(csu.decoded_rd, lsq.decoded_rd);
   RWConnect(csu.has_decoded_rd, lsq.has_decoded_rd);
   RWConnect(csu.decoded_rs1, lsq.decoded_rs1);
@@ -84,10 +85,14 @@ int main(int argc, char **argv) {
   RWConnect(csu.has_decoded_rs1, rf.has_decoded_rs1);
   RWConnect(csu.decoded_rs2, rf.decoded_rs2);
   RWConnect(csu.has_decoded_rs2, rf.has_decoded_rs2);
-  RWConnect(rf.rs1_nodep, csu.rs1_nodep);
-  RWConnect(rf.rs1_deps, csu.rs1_deps);
-  RWConnect(rf.rs2_nodep, csu.rs2_nodep);
-  RWConnect(rf.rs2_deps, csu.rs2_deps);
+  // RWConnect(rf.rs1_nodep, csu.rs1_nodep);
+  // RWConnect(rf.rs1_deps, csu.rs1_deps);
+  // RWConnect(rf.rs2_nodep, csu.rs2_nodep);
+  // RWConnect(rf.rs2_deps, csu.rs2_deps);
+  RWConnect(csu.is_committing, rf.is_committing);
+  RWConnect(csu.commit_reg_index, rf.commit_reg_index);
+  RWConnect(csu.commit_reg_value, rf.commit_reg_value);
+  RWConnect(csu.commit_ins_ROB_index, rf.commit_ins_ROB_index);
   // csu <-> reserve station
   RWConnect(csu.force_clear_announcer, rs.force_clear_receiver);
   RWConnect(csu.is_issuing, rs.is_issuing);
@@ -95,6 +100,7 @@ int main(int argc, char **argv) {
   RWConnect(csu.issue_ROB_index, rs.issue_ROB_index);
   RWConnect(csu.full_ins_id, rs.full_ins_id);
   RWConnect(csu.full_ins, rs.full_ins);
+  RWConnect(csu.issuing_PC, rs.issuing_PC);
   RWConnect(csu.decoded_rd, rs.decoded_rd);
   RWConnect(csu.has_decoded_rd, rs.has_decoded_rd);
   RWConnect(csu.decoded_rs1, rs.decoded_rs1);