blob: fd4929bf19cb81a06a324706a50e7a5d75a59415 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/bash
set -ex
../../yosys -p 'prep; write_firrtl test.fir' test.v
firrtl -i test.fir -o test_out.v
../../yosys -p '
read_verilog test.v
rename test gold
read_verilog test_out.v
rename test gate
prep
miter -equiv -flatten gold gate miter
hierarchy -top miter
sat -verify -prove trigger 0 -set-init-zero -seq 10 miter
'
|