URL
https://opencores.org/ocsvn/wbuart32/wbuart32/trunk
Subversion Repositories wbuart32
Compare Revisions
- This comparison shows the changes necessary to convert path
/wbuart32/trunk/bench/formal
- from Rev 22 to Rev 23
- ↔ Reverse comparison
Rev 22 → Rev 23
/rxuartlite.sby
12,8 → 12,10
smtbmc |
|
[script] |
one: read_verilog -D RXUARTLITE -formal rxuartlite.v |
two: read_verilog -D RXUARTLITE -D PHASE_TWO -formal rxuartlite.v |
read -define F_OPT_CLK2FFLOGIC |
read -define RXUARTLITE |
one: read -sv -formal rxuartlite.v |
two: read -sv -D PHASE_TWO -formal rxuartlite.v |
chparam -set CLOCKS_PER_BAUD 16 rxuartlite |
prep -top rxuartlite |
# opt_merge -share_all |
/txuartlite.sby
24,4 → 24,4
-- |
|
[files] |
txuartlite.v |
../../rtl/txuartlite.v |