Assertion list for term "run at 2.5ghz".

Results from Ascent++: 1
chip CapableOfrun at 2.5ghz 0.25