Efficient symbolic analysis of analog integrated circuits using determinant decision diagrams

A new approach towards symbolic circuit analysis is presented. It is inspired by the concept of zero suppressed binary decision diagrams (ZBDDs) which is used in digital synthesis for representing functions in combinatorial logic in a minimal way. It is shown that this approach can be used for representing transfer functions of analog small-signal circuits, and moreover that efficient algorithms can be implemented for the manipulation of ZBDDs. As an example, the generation of the dominant terms of the coefficients of a transfer function has been implemented. It is shown that this approach is more efficient than other reported methods