1 files changed, 52 insertions, 0 deletions
diff --git a/data/property/cnes/CNE_00100.pro b/data/property/cnes/CNE_00100.pro
new file mode 100644
index 0000000..c5d0319
--- /dev/null
+++ b/data/property/cnes/CNE_00100.pro
@@ -0,0 +1,52 @@
+(tag_existing
+   (
+      (wfm waveform CNE_00100_HAS_BAD_NAME)
+   )
+   (and
+      (not (string_matches [identifier wfm] ".*_n"))
+      (exists p1 process
+         (CTL_verifies p1
+            (EF
+               (and
+                  (kind "if")
+                  (is_read_structure "(???)")
+                  (is_read_element "0" "=")
+                  (or
+                     (and
+                        (is_read_element "1" "'0'")
+                        (is_read_element "2" wfm)
+                     )
+                     (and
+                        (is_read_element "1" wfm)
+                        (is_read_element "2" "'0'")
+                     )
+                  )
+               )
+            )
+         )
+      )
+      (not
+         (exists p2 process 
+            (CTL_verifies p2
+               (EF
+                  (and
+                     (kind "if")
+                     (is_read_structure "(???)")
+                     (is_read_element "0" "=")
+                     (or
+                        (and
+                           (is_read_element "1" "'0'")
+                           (is_read_element "2" wfm)
+                        )
+                        (and
+                           (is_read_element "1" wfm)
+                           (is_read_element "2" "'0'")
+                        )
+                     )
+                  )
+               )
+            )
+         )
+      )
+   )
+)