summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'data/property/cnes/CNE_05100.pp')
-rw-r--r--data/property/cnes/CNE_05100.pp3
1 files changed, 3 insertions, 0 deletions
diff --git a/data/property/cnes/CNE_05100.pp b/data/property/cnes/CNE_05100.pp
new file mode 100644
index 0000000..e120de2
--- /dev/null
+++ b/data/property/cnes/CNE_05100.pp
@@ -0,0 +1,3 @@
+The signal $wfm.IDENTIFIER (declared in $wfm.FILE, line $wfm.LINE, column
+$wfm.COLUMN) is the output of a single process multiplexor, as defined by
+CNE_05100.