Thu Oct 16 16:20:05 EDT 2014

Writing a circuit simulator

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?