This dissertation presents a novel verification technique for analog and mixed sig-nal circuits. Analog circuits are widely used in many applications include con-sumer electronics, telecommunications, medical electronics. Furthermore, in deepsub-micron design, physical effects might undermine common digital abstractionsof circuit behavior. Therefore, it is necessary to develop s...