Assertion list for term "active high".

Results from Ascent++: 1
signal HasPropertyactive high 0.44