Assertion list
digital signal (subgroup of signal ) → HasProperty
Results from Ascent++: 3
digital signal → HasProperty → discrete 0.25
digital signal → HasProperty → high 0.25
digital signal → HasProperty → low 0.25