Assertion list
input (aspect of latch ) → HasProperty
Results from Ascent++: 5
input → HasProperty → high 0.68
input → HasProperty → low 0.59
input → HasProperty → equal 0.38
input → HasProperty → active 0.32
input → HasProperty → positive 0.25