The general framework of a symbolic analysis environment for linear time-invariant circuits is
presented. Such a framework consists of two major parts: a simplification at circuit level and …