1 files changed, 29 insertions, 0 deletions
diff --git a/data/property/cnes/STD_04800.pro b/data/property/cnes/STD_04800.pro
new file mode 100644
index 0000000..8f998e4
--- /dev/null
+++ b/data/property/cnes/STD_04800.pro
@@ -0,0 +1,29 @@
+(tag_existing
+   (
+      (wfm waveform STD_04800_DOUBLE_SENSITIVITY_EDGE_CLOCK)
+   )
+   (and
+      (exists ps_re process
+         (CTL_verifies ps_re
+            (EF
+               (and
+                  (is_read_structure "(??)")
+                  (is_read_element "0" "rising_edge")
+                  (is_read_element "1" wfm)
+               )
+            )
+         )
+         (exists ps_fe process
+            (CTL_verifies ps_fe
+               (EF
+                  (and
+                     (is_read_structure "(??)")
+                     (is_read_element "0" "falling_edge")
+                     (is_read_element "1" wfm)
+                  )
+               )
+            )
+         )
+      )
+   )
+)