From 7c8b8af71f84c10f240a72d267e48901aef54a3d Mon Sep 17 00:00:00 2001
From: AngeloJacobo <jacobo.angeloECE@gmail.com>
Date: Thu, 15 Jun 2023 17:24:48 +0800
Subject: [PATCH] add minimum depth requirement for possible clock periods

---
 ddr3_controller.sby | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ddr3_controller.sby b/ddr3_controller.sby
index 1902dfa..5303889 100644
--- a/ddr3_controller.sby
+++ b/ddr3_controller.sby
@@ -1,5 +1,6 @@
 [options]
 mode prove
+depth 17 # 13 for 20/5, 17 for 10/2.5, 26 for 5/1.25
 
 [engines]
 smtbmc