diff --git a/example_demo/arty_s7/arty_ddr3.bit b/example_demo/arty_s7/arty_ddr3.bit
new file mode 100644
index 0000000..2bd9cfe
Binary files /dev/null and b/example_demo/arty_s7/arty_ddr3.bit differ
diff --git a/example_demo/enclustra_kx2_st1/enclustra_ddr3.bit b/example_demo/enclustra_kx2_st1/enclustra_ddr3.bit
new file mode 100644
index 0000000..a0ebeb9
Binary files /dev/null and b/example_demo/enclustra_kx2_st1/enclustra_ddr3.bit differ
diff --git a/formal/ddr3_multiconfig.sby b/formal/ddr3_multiconfig.sby
index 4b895c5..4149a0f 100644
--- a/formal/ddr3_multiconfig.sby
+++ b/formal/ddr3_multiconfig.sby
@@ -54,5 +54,5 @@ prep -top ddr3_controller
 
 [files]
 ./rtl/ddr3_controller.v
-./rtl/formal/fwb_slave.v
+./formal/fwb_slave.v
 
diff --git a/formal/ddr3_singleconfig.sby b/formal/ddr3_singleconfig.sby
index ae580bc..de2d0ad 100644
--- a/formal/ddr3_singleconfig.sby
+++ b/formal/ddr3_singleconfig.sby
@@ -14,4 +14,4 @@ prep -top ddr3_controller
 
 [files]
 ./rtl/ddr3_controller.v
-./rtl/formal/fwb_slave.v
+./formal/fwb_slave.v
diff --git a/rtl/formal/fwb_slave.v b/formal/fwb_slave.v
similarity index 100%
rename from rtl/formal/fwb_slave.v
rename to formal/fwb_slave.v