Mostly to gain some insight into discretization + some practical incentive to do "boutique" analog design. - Set point analysis - Linearized impedance / transfer functions How to make this work? One thing that seems important is to figure out how to remove infinities due to ideal components. E.g. opamps with finite gain and GBW. Can this be done through abstract interpretation?