From 6b9607563eeee4248cbb1e63c9b0bda1067fbc09 Mon Sep 17 00:00:00 2001
From: Angelo Jacobo <jacobo.angeloECE@gmail.com>
Date: Thu, 2 Mar 2023 20:11:10 +0800
Subject: [PATCH] added sby file for formal verif

---
 ddr3_controller.sby | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 ddr3_controller.sby

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