From 9e072ec21f9985126e1cfeb04fa7f2bc963790b3 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Wed, 5 Dec 2018 00:23:22 +0000
Subject: opt_lut: new pass, to combine LUTs for tighter packing.

---
 tests/opt/opt_lut.ys | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/opt/opt_lut.ys

(limited to 'tests/opt/opt_lut.ys')

diff --git a/tests/opt/opt_lut.ys b/tests/opt/opt_lut.ys
new file mode 100644
index 000000000..1c7dc1473
--- /dev/null
+++ b/tests/opt/opt_lut.ys
@@ -0,0 +1,15 @@
+read_verilog opt_lut.v
+synth_ice40
+ice40_unlut
+design -save preopt
+
+opt_lut
+design -stash postopt
+
+design -copy-from preopt -as preopt top
+design -copy-from postopt -as postopt top
+equiv_make preopt postopt equiv
+techmap -map ice40_carry.v
+prep -flatten -top equiv
+equiv_induct
+equiv_status -assert
-- 
cgit v1.2.3