but few ana- log designers have adopted symbolic analysis techniques as standard tools in their CAD environments yet. To a large extent this may be due to the lack of documented methodologies which show what can be expected from symbolic analysis and how it can be efficiently employed to solve industrial circuit design problems.