aboutsummaryrefslogtreecommitdiffstats
path: root/backends/firrtl/test.sh
blob: fe7e3a329127b850115c3d111d1c93ff3fe2e43e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#!/bin/bash
set -ex

cd ../../
make
cd backends/firrtl

../../yosys -q -p 'prep -nordff; write_firrtl test.fir' $1

firrtl -i test.fir -o test_out.v -ll Info

../../yosys -p "
	read_verilog $1
	rename Top gold

	read_verilog test_out.v
	rename Top gate

	prep
	memory_map
	miter -equiv -flatten gold gate miter
	hierarchy -top miter

	sat -verify -prove trigger 0 -set-init-zero -seq 10 miter
"