Assertion list for term "provide 16-bit resolution".

Results from Ascent++: 1
circuit CapableOfprovide 16-bit resolution 0.25