OpenCores
URL https://opencores.org/ocsvn/wbuart32/wbuart32/trunk

Subversion Repositories wbuart32

Compare Revisions

  • This comparison shows the changes necessary to convert path
    /
    from Rev 24 to Rev 25
    Reverse comparison

Rev 24 → Rev 25

/wbuart32/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
wbuart32/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

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.