aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap/pmux2mux.ys
diff options
context:
space:
mode:
authorMarcelina Koƛcielnicka <mwk@0x04.net>2021-02-23 21:23:26 +0100
committerMarcelina Koƛcielnicka <mwk@0x04.net>2021-02-24 01:07:34 +0100
commitb05b98521c781fef0f9d900a53310cad9e1434b0 (patch)
treeb63a6620dc887d662ee1c7340937e2e96233e420 /tests/techmap/pmux2mux.ys
parentcde73428b046a1a87339f8a069f59ce732794617 (diff)
downloadyosys-b05b98521c781fef0f9d900a53310cad9e1434b0.tar.gz
yosys-b05b98521c781fef0f9d900a53310cad9e1434b0.tar.bz2
yosys-b05b98521c781fef0f9d900a53310cad9e1434b0.zip
Add tests for some common techmap files.
Diffstat (limited to 'tests/techmap/pmux2mux.ys')
-rw-r--r--tests/techmap/pmux2mux.ys15
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/techmap/pmux2mux.ys b/tests/techmap/pmux2mux.ys
new file mode 100644
index 000000000..1714a6b87
--- /dev/null
+++ b/tests/techmap/pmux2mux.ys
@@ -0,0 +1,15 @@
+read_verilog -icells << EOT
+module top(...);
+
+input [3:0] A;
+input [3:0] B0;
+input [3:0] B1;
+input [1:0] S;
+output [3:0] O;
+
+\$pmux #(.WIDTH(4), .S_WIDTH(2)) pm (.A(A), .B({B1, B0}), .S(S), .Y(O));
+
+endmodule
+EOT
+
+equiv_opt techmap -map +/pmux2mux.v