Analog IC Explorer
AICE is a symbolic circuit analysis program which is designed to help (not replace) analog IC designers do fast analysis work. If designers would like to acquire insight on a conceptual design, like transfer functions (TFs) of conceptual schematics, poles-zeros (PZs), effects of compensations, and effects of load, etc., AICE is a good helper. The key feature of AICE is to generate analytical results instantaneously for a given schematic, so fast that designers can almost use it to work out a target design by exploring different conceptual circuit topologies.
AICE can generate readable symbolic results. To use it, we recommend users to use it for analyzing conceptual (i.e., limited size) circuits rather than full-size transistor-level circuits. If the circuit scale is too large (involving too many parasitics), the generated results are going to be too complicated to read. We are developing another feature that can reduce a transistor-level circuit to a conceptual schematic before running TF and PZ analysis. But this development is not finished yet. We shall post a new tool with this feature as soon as it becomes available.
The symbolic analysis engine behind AICE is the GPDD (graph-pair decision diagram) algorithm originally proposed in . A more thorough exposition on this algorithm is presented in the book . The survey paper  provides more information on the BDD (binary decision diagram) technology and explains why this technology has revolutionary difference from other traditional symbolic analysis methods. In principle, this symbolic method can be applied to both large and small analog circuits. For large analog circuit the generated symbolic results would be too lengthy to read. However, on many occasions analog designers would like to view the symbolic results generated by a tool. In that case the schematic entered to the tool for analysis should not involve too many elements and connections. Most analog integrated circuits can be simplified and reduced to conceptual circuits by removing a great number of parasitics. AICE is a good tool for analyzing such conceptual circuits. A conceptual circuit is also a macromodel of a transistor-level circuit, which is commonly used for pole-zero analysis and compensation design.
GPDD is a symbolic analysis method that generates symbolic results by processing the circuit topology rather than an algebraic object like matrix. This is also the enabling technology inside AICE to generate reduced circuit automatically from a full-scale transistor-level circuit. We all this approach "topological circuit reduction". Topological circuit reduction is one type of symbolic model order reduction , but it requires that the reduced model remain to be a circuit. Because the reduced circuit preserves the frequency response behavior of the original circuit, the generated circuit is able to capture the structural configuration of the original transistor-level circuit. This is similar to what human designers often would do manually at the conceptual design stage.
A reduced circuit is compact with less number of circuit elements (which are used as the main design parameters). AICE can be used to generate simplified transfer functions and poles-zeros of such circuits. AICE employs the algorithm proposed in  to perform formal TF simplification so that the generated expressions are readable. Users can use the AICE-generated expressions for design exploration.
MSDA Lab., "AICE - Analog IC Explorer," http://aice.sjtu.edu.cn/, School of Microelectronics, Shanghai Jiao Tong University, 2017.Thank you.