projects
/
yosys.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Progress in FIRRTL back-end
[yosys.git]
/
backends
/
firrtl
/
test.sh
1
#!/bin/bash
2
set -ex
3
4
..
/
..
/
yosys
-p
'prep; write_firrtl test.fir'
test
.v
5
6
firrtl
-i test
.fir
-o
test_out.v
7
8
..
/
..
/
yosys
-p
'
9
read_verilog test.v
10
rename test gold
11
12
read_verilog test_out.v
13
rename test gate
14
15
prep
16
miter -equiv -flatten gold gate miter
17
hierarchy -top miter
18
19
sat -verify -prove trigger 0 -set-init-zero -seq 10 miter
20
'
21