diff --git a/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_nok.txt b/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_nok.txt
new file mode 100644
index 00000000..5e7a319e
--- /dev/null
+++ b/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_nok.txt
@@ -0,0 +1,7 @@
+pre: a0 = 0x20000
+pre: a1 = 0x12345678
+
+%rw_data_size = 1
+
+pub @main:
+    u32 [a0 + 4097] = a1
diff --git a/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_ok.txt b/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_ok.txt
new file mode 100644
index 00000000..914bee46
--- /dev/null
+++ b/tools/spectool/spec/src/inst_store_indirect_u32_with_offset_ok.txt
@@ -0,0 +1,7 @@
+pre: a0 = 0x20000
+pre: a1 = 0x12345678
+
+%rw_data_size = 1
+
+pub @main:
+    u32 [a0 + 10] = a1
diff --git a/tools/spectool/spec/src/inst_store_indirect_u32_without_offset_ok.txt b/tools/spectool/spec/src/inst_store_indirect_u32_without_offset_ok.txt
new file mode 100644
index 00000000..3f7964cf
--- /dev/null
+++ b/tools/spectool/spec/src/inst_store_indirect_u32_without_offset_ok.txt
@@ -0,0 +1,7 @@
+pre: a0 = 0x20000
+pre: a1 = 0x12345678
+
+%rw_data_size = 1
+
+pub @main:
+    u32 [a0] = a1