From c051115e03208faceca1b53da94bd430da2158e8 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 18 Nov 2016 00:32:35 +0100
Subject: Progress in FIRRTL back-end

---
 backends/firrtl/test.sh | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 backends/firrtl/test.sh

(limited to 'backends/firrtl/test.sh')

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
+'
+
-- 
cgit v1.2.3