aboutsummaryrefslogtreecommitdiffstats
path: root/backends/firrtl/test.sh
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2017-02-14 11:49:14 +0100
committerGitHub <noreply@github.com>2017-02-14 11:49:14 +0100
commitf3a25d9d34e628e00f3f80f596efba4980b3044e (patch)
tree6f106d56447804bcc14fc86a5e67ed6cdac5a88c /backends/firrtl/test.sh
parent69468d5a16f87616af9c7f084f6ff247f3513050 (diff)
parent794cec00166f46a3ea8480377ee7f773884a8f5d (diff)
downloadyosys-f3a25d9d34e628e00f3f80f596efba4980b3044e.tar.gz
yosys-f3a25d9d34e628e00f3f80f596efba4980b3044e.tar.bz2
yosys-f3a25d9d34e628e00f3f80f596efba4980b3044e.zip
Merge pull request #313 from azidar/bugfix-assign-wmask
More progress on Firrtl backend.
Diffstat (limited to 'backends/firrtl/test.sh')
-rw-r--r--backends/firrtl/test.sh19
1 files changed, 11 insertions, 8 deletions
diff --git a/backends/firrtl/test.sh b/backends/firrtl/test.sh
index 0a7151afa..fe7e3a329 100644
--- a/backends/firrtl/test.sh
+++ b/backends/firrtl/test.sh
@@ -1,16 +1,20 @@
#!/bin/bash
set -ex
-../../yosys -p 'prep -nordff; write_firrtl test.fir' test.v
+cd ../../
+make
+cd backends/firrtl
-firrtl -i test.fir -o test_out.v
+../../yosys -q -p 'prep -nordff; write_firrtl test.fir' $1
-../../yosys -p '
- read_verilog test.v
- rename test gold
+firrtl -i test.fir -o test_out.v -ll Info
+
+../../yosys -p "
+ read_verilog $1
+ rename Top gold
read_verilog test_out.v
- rename test gate
+ rename Top gate
prep
memory_map
@@ -18,5 +22,4 @@ firrtl -i test.fir -o test_out.v
hierarchy -top miter
sat -verify -prove trigger 0 -set-init-zero -seq 10 miter
-'
-
+"