Rework and polish the fault injection flow

pulp-platform · Feb 28, 2024 · 1ebbfa3 · 1ebbfa3
1 parent ebb8476
commit 1ebbfa3
Show file tree

Hide file tree

Showing 8 changed files with 2,380 additions and 56 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -8,3 +8,5 @@
 [submodule "fault_injection_sim"]
 	path = fault_injection_sim
 	url = git@iis-git.ee.ethz.ch:michaero/fault_injection_sim.git
+[submodule "fault_injection_sim/"]
+	url = https://github.com/pulp-platform/InjectaFault.git
diff --git a/fault_injection_sim b/fault_injection_sim
diff --git a/regression-tests b/regression-tests
diff --git a/scripts/compile.tcl b/scripts/compile.tcl
diff --git a/scripts/fault_injection_config/pulp_inject_fault.tcl b/scripts/fault_injection_config/pulp_inject_fault.tcl
diff --git a/...lt_injection_config/pulp_extract_nets.tcl → ...ult_injection_utils/pulp_extract_nets.tcl b/...lt_injection_config/pulp_extract_nets.tcl → ...ult_injection_utils/pulp_extract_nets.tcl
@@ -243,4 +243,32 @@ proc get_all_core_nets {core} {
   #   }
   # }
   return $all_signals
-}
+}
+
+##################
+# Memory signals #
+##################
+
+# <------ banks ------>
+#   b1   b2   b3   b4
+# +----+----+----+----+   ^
+# |    |    |    |    | 3 |
+# +----+----+----+----+   |
+# |    |    |    |    | 2 |
+# +----+----+----+----+   | words
+# |    |    |    |    | 1 |
+# +----+----+----+----+   |
+# |    |    |    |    | 0 |
+# +----+----+----+----+   v
+
+# == Path to a word in sram signal in tc_sram ==
+proc get_memory_word {bank word} {return "/pulp_cluster_tb/cluster_i/tcdm_banks_i/banks_gen\[$bank\]/gen_ecc_banks/gen_ecc_banks_only/i_ecc_bank/i_bank/sram($word)"}
+
+proc get_memory_slice {bank_range word_range} {
+  set mem_slice [list]
+  for {set i [lindex $bank_range 0]} {$i < [lindex $bank_range end]} {incr i} {
+    for {set j [lindex $word_range 0]} {$j < [lindex $word_range end]} {incr j} {
+    lappend mem_slice [get_memory_word $i $j]}
+  }
+  return $mem_slice
+}
diff --git a/scripts/run_and_exit.tcl b/scripts/run_and_exit.tcl
@@ -21,7 +21,10 @@ proc run_and_exit {} {
 }
 
 if {[info exists ::env(FAULT_INJECTION)]} {
-    source [file join $::env(VSIM_PATH) scripts fault_injection_config pulp_inject_fault.tcl]
+    if {![info exists ::env(FAULT_INJECTION_SCRIPT)]} {
+        error "Error: Missing FAULT_INJECTION_SCRIPT to source!"
+    }
+    source $::env(FAULT_INJECTION_SCRIPT)
 }
 
 run_and_exit
diff --git a/scripts/start.tcl b/scripts/start.tcl
@@ -10,7 +10,10 @@ if {![info exists VSIM]} {
 $VSIM +permissive -suppress 3053 -suppress 8885 -suppress 12130 -lib $VSIM_PATH/work +APP=./build/test/test +notimingchecks +nospecify  -t 1ps  pulp_cluster_tb_optimized +permissive-off ++./build/test/test
 
 if {[info exists ::env(FAULT_INJECTION)]} {
-    source [file join $::env(VSIM_PATH) scripts fault_injection_config pulp_inject_fault.tcl]
+    if {![info exists ::env(FAULT_INJECTION_SCRIPT)]} {
+        error "Error: Missing FAULT_INJECTION_SCRIPT to source!"
+    }
+    source $::env(FAULT_INJECTION_SCRIPT)
 }
 
 add log -r /*
+5 −0		carfield/dmr_matmul/Makefile
+51 −0		carfield/dmr_matmul/pulp_inject_fault.tcl
+5 −0		carfield/ecc_test/Makefile
+53 −0		carfield/ecc_test/pulp_inject_fault.tcl