1 files changed, 12 insertions, 0 deletions
diff --git a/property/CNE_02100.pro b/property/CNE_02100.pro
new file mode 100644
index 0000000..b60f48e
--- /dev/null
+++ b/property/CNE_02100.pro
@@ -0,0 +1,12 @@
+(seek
+   (
+      (arch architecture)
+   )
+   (not
+      (or
+         (identifier arch "Behavioral")
+         (identifier arch "RTL")
+         (identifier arch "Simulation")
+      )
+   )
+)