aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap/dff2ff.ys
diff options
context:
space:
mode:
Diffstat (limited to 'tests/techmap/dff2ff.ys')
-rw-r--r--tests/techmap/dff2ff.ys16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/techmap/dff2ff.ys b/tests/techmap/dff2ff.ys
new file mode 100644
index 000000000..5adf14b07
--- /dev/null
+++ b/tests/techmap/dff2ff.ys
@@ -0,0 +1,16 @@
+read_verilog -icells << EOT
+module top(...);
+
+input [1:0] D;
+input C;
+output [1:0] Q;
+
+always @(posedge C)
+ Q <= D;
+
+endmodule
+EOT
+
+proc
+
+equiv_opt techmap -map +/dff2ff.v