Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques