aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-01-13 09:22:42 -0800
committerEddie Hung <eddie@fpgeh.com>2020-01-13 09:22:42 -0800
commit9f3cb981d7c0767f40febf0b32e0a19c28d8e6a0 (patch)
treed0fb208396ca815adfbc6592f2b154caf51cc005 /tests/techmap
parent295e241c074ae275e832fdde9fae6fd897170ac8 (diff)
parentca2f3db53f3f330d283079bf44b3cef6b7f197be (diff)
downloadyosys-9f3cb981d7c0767f40febf0b32e0a19c28d8e6a0.tar.gz
yosys-9f3cb981d7c0767f40febf0b32e0a19c28d8e6a0.tar.bz2
yosys-9f3cb981d7c0767f40febf0b32e0a19c28d8e6a0.zip
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Diffstat (limited to 'tests/techmap')
-rw-r--r--tests/techmap/abc9.ys40
1 files changed, 40 insertions, 0 deletions
diff --git a/tests/techmap/abc9.ys b/tests/techmap/abc9.ys
new file mode 100644
index 000000000..20f263da8
--- /dev/null
+++ b/tests/techmap/abc9.ys
@@ -0,0 +1,40 @@
+read_verilog <<EOT
+`define N 256
+module top(input [`N-1:0] a, output o);
+wire [`N-2:0] w;
+assign w[0] = a[0] & a[1];
+genvar i;
+generate for (i = 1; i < `N-1; i++)
+assign w[i] = w[i-1] & a[i+1];
+endgenerate
+assign o = w[`N-2];
+endmodule
+EOT
+simplemap
+dump
+design -save gold
+
+abc9 -lut 4
+
+design -load gold
+abc9 -lut 4 -fast
+
+design -load gold
+scratchpad -copy abc9.script.default.area abc9.script
+abc9 -lut 4
+
+design -load gold
+scratchpad -copy abc9.script.default.fast abc9.script
+abc9 -lut 4
+
+design -load gold
+scratchpad -copy abc9.script.flow abc9.script
+abc9 -lut 4
+
+design -load gold
+scratchpad -copy abc9.script.flow2 abc9.script
+abc9 -lut 4
+
+design -load gold
+scratchpad -copy abc9.script.flow3 abc9.script
+abc9 -lut 4