summaryrefslogtreecommitdiff
path: root/passes/tests/flowmap/flowp.v
diff options
context:
space:
mode:
Diffstat (limited to 'passes/tests/flowmap/flowp.v')
-rw-r--r--passes/tests/flowmap/flowp.v16
1 files changed, 16 insertions, 0 deletions
diff --git a/passes/tests/flowmap/flowp.v b/passes/tests/flowmap/flowp.v
new file mode 100644
index 00000000..2fb40ffa
--- /dev/null
+++ b/passes/tests/flowmap/flowp.v
@@ -0,0 +1,16 @@
+// Like flow.v, but results in a network identical to Figure 2(b).
+module top(...);
+ input a,b,c,d,e,f;
+ wire A = b&c;
+ wire B = c|d;
+ wire C = e&f;
+ wire D = A|B;
+ wire E = a&D;
+ wire F = D&C;
+ wire G = F|B;
+ wire H = a&F;
+ wire I = E|G;
+ wire J = G&C;
+ output p = H&I;
+ output q = A|J;
+endmodule