diff --git a/ddr3_controller.sby b/ddr3_controller.sby
new file mode 100644
index 0000000..13179f1
--- /dev/null
+++ b/ddr3_controller.sby
@@ -0,0 +1,13 @@
+[options]
+mode prove
+
+[engines]
+smtbmc
+
+[script]
+read -formal ddr3_controller.v
+prep -top ddr3_controller
+
+[files]
+./rtl/ddr3_controller.v
+./rtl/ddr3_parameters.vh