URL
https://opencores.org/ocsvn/wbuart32/wbuart32/trunk
Subversion Repositories wbuart32
Compare Revisions
- This comparison shows the changes necessary to convert path
/wbuart32
- from Rev 24 to Rev 25
- ↔ Reverse comparison
Rev 24 → Rev 25
/trunk/bench/formal/ufifo.sby
0,0 → 1,12
[options] |
mode prove |
|
[engines] |
smtbmc |
|
[script] |
read -sv -DUFIFO -formal ufifo.v |
prep -top ufifo |
|
[files] |
../../rtl/ufifo.v |
trunk/bench/formal
Property changes :
Added: svn:ignore
## -0,0 +1,10 ##
+.gitignore
+*.smt2
+*.check
+*.vcd
+*.yslog
+rxuartlite_one
+rxuartlite_two
+txuartlite_verific
+txuartlite_yosys
+ufifo