Adds Tabellion's old properties.

1 files changed, 19 insertions, 0 deletions

diff --git a/property/flip_flop.pro b/property/flip_flop.pro
new file mode 100644
index 0000000..97baa15
--- /dev/null
+++ b/property/flip_flop.pro
@@ -0,0 +1,19 @@
+#require "simple_flip_flop"
+#require "async_reset_flip_flop"
+
+(seek
+   (
+      (reg waveform)
+      (clk waveform)
+      (ps 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)
+      )
+   )
+)