diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-11-18 00:32:35 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-11-18 00:32:35 +0100 |
| commit | c051115e03208faceca1b53da94bd430da2158e8 (patch) | |
| tree | a27f2acc907f90a964d5353ced3e57c154327f95 /backends/firrtl/test.sh | |
| parent | 57966a619f587cd5307c406c7b3326cdd655ef37 (diff) | |
| download | yosys-c051115e03208faceca1b53da94bd430da2158e8.tar.gz yosys-c051115e03208faceca1b53da94bd430da2158e8.tar.bz2 yosys-c051115e03208faceca1b53da94bd430da2158e8.zip | |
Progress in FIRRTL back-end
Diffstat (limited to 'backends/firrtl/test.sh')
| -rw-r--r-- | backends/firrtl/test.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/backends/firrtl/test.sh b/backends/firrtl/test.sh new file mode 100644 index 000000000..fd4929bf1 --- /dev/null +++ b/backends/firrtl/test.sh @@ -0,0 +1,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 +' + |