Assertion list for term "clear in next clock cycle".

Results from Ascent++: 1
microprocessor CapableOfclear in next clock cycle 0.25