luke
/
UberDDR3
mirror of https://github.com/AngeloJacobo/UberDDR3.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

formal all passing

This commit is contained in:
AngeloJacobo 2025-02-09 09:52:29 +08:00
parent 7ada4bcbab
commit 97424583ba
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
formal/ddr3_multiconfig_ecc.sby
View File

@ -13,7 +13,7 @@ prf8lanes_100MHz_ECC_3_err prf_ECC3 opt_8lanes opt_100MHz
prf: mode prove
prf: depth 7
prf_ECC3: mode prove
prf_ECC3: depth 5
prf_ECC3: depth 7
[engines]
prf: smtbmc