Assertion list
digital signal (subgroup of signal ) → HasProperty

Results from Ascent++: 3
digital signalHasProperty discrete 0.25
digital signalHasProperty high 0.25
digital signalHasProperty low 0.25