Assertion list for term "run off electrical slave system".

Results from Ascent++: 1
clock CapableOfrun off electrical slave system 0.35