1 files changed, 19 insertions, 0 deletions
diff --git a/data/property/flip_flop.pro b/data/property/flip_flop.pro
new file mode 100644
index 0000000..9e7989e
--- /dev/null
+++ b/data/property/flip_flop.pro
@@ -0,0 +1,19 @@
+#require "simple_flip_flop"
+#require "async_reset_flip_flop"
+
+(tag_existing
+   (
+      (reg waveform STRUCT_FLIP_FLOP_OUTPUT)
+      (clk waveform STRUCT_FLIP_FLOP_CLOCK)
+      (ps process STRUCT_FLIP_FLOP_PROCESS)
+   )
+   (and
+      (not (eq reg clk))
+;;      (is_accessed_by reg ps)
+;;      (is_accessed_by clk ps)
+      (or
+         (_simple_flip_flop reg clk ps)
+         (_async_reset_flip_flop reg clk _ ps)
+      )
+   )
+)