Assertion list
pwm signal (subgroup of signal ) → HasProperty

Results from Ascent++: 1
pwm signalHasProperty low 0.25