From 5142fb3b5c6e7ed89fe74fcdff7775d6f09c34f5 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Thu, 18 Aug 2022 13:56:22 +0200
Subject: write_aiger: Fix non-$_FF_ FFs

This broke while switching sby's formal flows to always use $_FF_'s.
---
 tests/various/aiger_dff.ys | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/various/aiger_dff.ys

(limited to 'tests')

diff --git a/tests/various/aiger_dff.ys b/tests/various/aiger_dff.ys
new file mode 100644
index 000000000..057f3d774
--- /dev/null
+++ b/tests/various/aiger_dff.ys
@@ -0,0 +1,7 @@
+read_verilog -icells <<EOT
+module top(input clk, d, output q);
+\$_DFF_N_ dffn(.C(clk), .D(d), .Q(q));
+endmodule
+EOT
+write_aiger -zinit -ywmap aiger_dff.out /dev/null
+!grep -qF negedge aiger_dff.out
-- 
cgit v1.2.3