Runtime Verification of Analog and Mixed Signal Designs