From 73cbcffbbb42f6804085ce91c1f3c7612f505115 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Tue, 24 Jun 2025 12:31:30 +0200
Subject: [PATCH] fixup! dfflibmap: propagate negated next_state to output
 correctly

---
 tests/techmap/dfflibmap_dffr_not_next.lib | 33 +++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 tests/techmap/dfflibmap_dffr_not_next.lib

diff --git a/tests/techmap/dfflibmap_dffr_not_next.lib b/tests/techmap/dfflibmap_dffr_not_next.lib
new file mode 100644
index 000000000..74004bea1
--- /dev/null
+++ b/tests/techmap/dfflibmap_dffr_not_next.lib
@@ -0,0 +1,33 @@
+library(test) {
+  cell (dffr_not_next) {
+    area : 6;
+    ff("IQ", "IQN") {
+      next_state : "!D";
+      clocked_on : "CLK";
+      clear      : "CLEAR";
+      preset     : "PRESET";
+      clear_preset_var1 : L;
+      clear_preset_var2 : L;
+    }
+    pin(D) {
+      direction : input;
+    }
+    pin(CLK) {
+      direction : input;
+    }
+    pin(CLEAR) {
+      direction : input;
+    }
+    pin(PRESET) {
+      direction : input;
+    }
+    pin(Q) {
+      direction: output;
+      function : "IQ";
+    }
+    pin(QN) {
+      direction: output;
+      function : "IQN";
+    }
+  }
+}