Text this: Formal Verification and In-Situ Test of Analog and Mixed-Signal Circuits /