summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'data/property/cnes/CNE_02100.pp')
-rw-r--r--data/property/cnes/CNE_02100.pp4
1 files changed, 0 insertions, 4 deletions
diff --git a/data/property/cnes/CNE_02100.pp b/data/property/cnes/CNE_02100.pp
deleted file mode 100644
index ff0b8e7..0000000
--- a/data/property/cnes/CNE_02100.pp
+++ /dev/null
@@ -1,4 +0,0 @@
-The name of the architecture $arch.IDENTIFIER$ (declared in $arch.FILE$,
-line $arch.LINE$, column $arch.COLUMN$) does not match any of the names of a RTL
-architecture, as defined by CNE_02100. The allowed names are "Behavioral",
-"RTL", and "Simulation".