Efficient DDD-based symbolic analysis of linear analog circuits

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 a simplifying expression-generation. An overview of the known techniques for both circuit simplification and expression generation is given, and in addition a new nonhierarchical expression generation technique based on the concept of determinant decision diagrams (DDDs) is presented. The DDD-based technique is evaluated on a set of benchmark circuits together with a known fast symbolic analysis algorithm, and turns out to be the most efficient. The DDD-based expression generation algorithm is, therefore, the best solution for nonhierarchical linear symbolic expression generation to the authors´ knowledge.