From 2ca5a15c302881ccc9deeeb67bfbab2195cf54cf Mon Sep 17 00:00:00 2001
From: AngeloJacobo <jacobo.angeloECE@gmail.com>
Date: Thu, 29 Jun 2023 12:56:58 +0800
Subject: [PATCH] add cover

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

diff --git a/ddr3_controller.sby b/ddr3_controller.sby
index f82f82b..3b1c785 100644
--- a/ddr3_controller.sby
+++ b/ddr3_controller.sby
@@ -1,6 +1,8 @@
 [options]
 mode prove
 depth 17 # 13 for 20/5, 17 for 10/2.5, 26 for 5/1.25
+#mode cover
+#depth 50
 
 [engines]
 smtbmc