Aihe: Linear circuit analysis