CNE_05100.pp « cnes « property « data - tabellion - Verification tool for VHDL (or at least the prototype of one).

summary refs log tree commit diff

path: root/data/property/cnes/CNE_05100.pp

blob: e120de2c8300709fb38b93a03ac120c2fa8f9fa1 (plain)

1
2
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.