Browse Source

Incomment proof with abc pdr

T. Meissner 1 month ago
parent
commit
38ae7057c2
1 changed files with 1 additions and 1 deletions
  1. 1
    1
      vai_reg/symbiyosys.sby

+ 1
- 1
vai_reg/symbiyosys.sby View File

@@ -6,7 +6,7 @@ mode prove
6 6
 
7 7
 [engines]
8 8
 smtbmc
9
-#abc pdr
9
+abc pdr
10 10
 
11 11
 [script]
12 12
 verific -vhdl vai_reg.vhd