Assertion list
input (aspect of amplifier ) → CapableOf
Results from Ascent++: 3
input → CapableOf → receive same analog input signal 0.45
input → CapableOf → receive the acceleration signal 0.32
input → CapableOf → present high impedance 0.25