Computer-Aided Analysis of Active Circuits