add cover

2023-06-29 12:56:58 +08:00 · 2023-06-29 12:56:58 +08:00 · 2ca5a15c30
parent 760c75d238
commit 2ca5a15c30
1 changed files with 2 additions and 0 deletions
--- 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