Results 1  10
of
11
Canonical Symbolic Analysis of Large Analog Circuits with Determinant Decision Diagrams
 IEEE TRANS. ON COMPUTERAIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
, 2000
"... Symbolic analogcircuit analysis has many applications, and is especially useful for analog synthesis and testability analysis. Existing approaches rely on two forms of symbolic expression representation: expanded sumofproduct form or arbitrarily nested form. Expanded form suffers the problem that ..."
Abstract

Cited by 18 (6 self)
 Add to MetaCart
Symbolic analogcircuit analysis has many applications, and is especially useful for analog synthesis and testability analysis. Existing approaches rely on two forms of symbolic expression representation: expanded sumofproduct form or arbitrarily nested form. Expanded form suffers the problem that the number of product terms grows exponentially with the size of a circuit, and approximation has to be used. Nested form is not canonical, i.e., many representations exist for a symbolic expression, and manipulations with the nested form are often complicated. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. It consists of representing the symbolic determinant of a circuit matrix by a graphcalled determinant decision diagram (DDD)and performing symbolic analysis by graph manipulations. We showed that DDD construction, as well as many symbolic analysis algorithms, can be performed in time complex...
Symbolic Analysis of Large Analog Circuits with Determinant Decision Diagrams
, 1997
"... Symbolic analogcircuit analysis has many applications, and is especially useful for analog synthesis and testability analysis. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. It consists of representing the s ..."
Abstract

Cited by 14 (8 self)
 Add to MetaCart
Symbolic analogcircuit analysis has many applications, and is especially useful for analog synthesis and testability analysis. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. It consists of representing the symbolic determinant of a circuit matrix by a graphcalled determinant decision diagram (DDD)and performing symbolic analysis by graph manipulations. We showed that DDD construction and DDDbased symbolic analysis can be performed in time complexity proportional to the number of DDD vertices. We described a vertex ordering heuristic, and showed that the number of DDD vertices can be quite smallusually ordersofmagnitude less than the number of product terms. The algorithm has been implemented. An orderofmagnitude improvement in both CPU time and memory usages over existing symbolic analyzers ISAAC and MapleV has been observed for large analog circuits. 1. Introduction Symbolic a...
Hierarchical Symbolic Analysis Of Large Analog Circuits With Determinant Decision Diagrams
 IEEE Trans. on ComputerAided Design of Integrated Circuits and Systems
, 1998
"... A novel hierarchical approach is proposed to symbolic analysis of large analog circuits. The key idea is to use a graphbased representation  called Determinant Decision Diagram (DDD)  to represent the symbolic determinant and cofactors associated with the MNA matrix for each subcircuit block. B ..."
Abstract

Cited by 14 (4 self)
 Add to MetaCart
A novel hierarchical approach is proposed to symbolic analysis of large analog circuits. The key idea is to use a graphbased representation  called Determinant Decision Diagram (DDD)  to represent the symbolic determinant and cofactors associated with the MNA matrix for each subcircuit block. By exploiting the inherent sharing and sparsity of symbolic expressions, DDD is capable of representing a huge number of symbolic product terms in a canonical and highlycompact manner. Further, it enables cofactoring and sensitivity computation to be performed with time linear in the size of DDD. Experimental results have demonstrated that our method outperforms the bestknown existing hierarchical symbolic analyzer SCAPP, and sometimes even numerical simulator SPICE.
Efficient DDDbased term generation algorithm for analog circuit behavioral modeling
 In Pmc. IEEE DATE Conference
, 2003
"... Abstract — An efficient approach to generating symbolic product terms for behavioral modeling of large linear analog circuits is presented. The approach is based on a compact determinant decision diagram (DDD) representation of transfer functions and characteristics of analog circuits. The new algor ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Abstract — An efficient approach to generating symbolic product terms for behavioral modeling of large linear analog circuits is presented. The approach is based on a compact determinant decision diagram (DDD) representation of transfer functions and characteristics of analog circuits. The new algorithm is based on the concept that a dominant term in a DDD graph can be found by searching the shortest path in the graph. But instead of traversing a whole DDD graph each time, we show that a shortest path can be found by just updating a small number of the newly added vertices after the first shortest path is found. Experimental results indicate that the new symbolic term generation algorithm outperforms both pure shortest path based algorithm and dynamic programming based algorithm, which is the fastest symbolic term generation algorithm published so far. I.
Interpretable Symbolic SmallSignal Characterization of Large Analog Circuits using Determinant Decision Diagrams
"... A new approach is proposed to generate interpretable symbolic expressions of smallsignal characteristics for large analog circuits. The approach is based on a complete, exact, yet compact representation of symbolic expressions via determinant decision diagrams (DDDs). We show that two key tasks of ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
A new approach is proposed to generate interpretable symbolic expressions of smallsignal characteristics for large analog circuits. The approach is based on a complete, exact, yet compact representation of symbolic expressions via determinant decision diagrams (DDDs). We show that two key tasks of generating interpretable symbolic expressions — term decancellation and term simplification—can be performed in linear time in terms of the number of DDD vertices. With the number of DDD vertices manyordersofmagnitude less than the number of product terms, the proposed approach has been shown to be much more efficient than other startoftheart approaches.
Hierarchical Symbolic Analysis of Analog Integrated Circuits via Determinant Decision Diagrams
 IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems, Vol.19, Apr 2000
, 2000
"... A new approach is proposed to hierarchical symbolic analysis of large analog integrated circuits. It consists of performing symbolic suppression of each subcircuit to its terminals in terms of subcircuit matrix determinants and cofactors, and applying Cramer's rule to solve symbolically the set ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
A new approach is proposed to hierarchical symbolic analysis of large analog integrated circuits. It consists of performing symbolic suppression of each subcircuit to its terminals in terms of subcircuit matrix determinants and cofactors, and applying Cramer's rule to solve symbolically the set of equations at the top level of the circuit hierarchy. The novelty of the proposed approach is to use an annotated, directed and acyclic graph, called Determinant Decision Diagram (DDD), to represent symbolic determinants of subcircuit matrices and cofactors used in subcircuit suppression, as well as symbolic determinants of the toplevel circuit matrix and cofactors required in applying Cramer's rule. DDD enables systematically exploiting the inherent sparsity of circuit matrices and the sharing of symbolic expressions. It is capable of representing a huge number of symbolic product terms in a canonical and highly compact manner. The proposed approach is illustrated using a Cauer parameter low...
Hierarchical approach to exact symbolic analysis of large analog circuits
 in Proc. Design Automation Conf. (DAC
, 2004
"... Abstract—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing symbolic product terms. But instead of constructing DDD graphs directly from a flat circuit matrix, the new method ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Abstract—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing symbolic product terms. But instead of constructing DDD graphs directly from a flat circuit matrix, the new method constructs DDD graphs in a hierarchical way based on hierarchically defined circuit structures. The resulting algorithm can analyze much larger analog circuits exactly than before. The authors show that exact symbolic expressions of a circuit are cancellationfree expressions when the circuit is analyzed hierarchically. With this, the authors propose a novel symbolic decancellation process, which essentially leads to the hierarchical DDD graph constructions. The new algorithm partially avoids the exponential DDD construction time by employing more efficient DDD graph operations during the hierarchical construction. The experimental results show that very large analog circuits, which cannot be analyzed exactly before like UPS and other unstructured circuits up to 100 nodes, can be analyzed by the new approach for the first time. The new approach significantly improves the exact symbolic capacity and promises huge potentials for the applications of exact symbolic analysis. Index Terms—Behavioral modeling, circuit simulation, symbolic analysis. I.
Efficient approximation of symbolic expressions for analog behavioral modeling and analysis
 IEEE Trans. ComputerAided Design Integr. Circuits Syst
, 2004
"... Abstract — Efficient algorithms are presented to generate approximate expressions for transfer functions and characteristics of large linear analog circuits. The algorithms are based on a compact determinant decision diagram (DDD) representation of exact transfer functions and characteristics. Sever ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract — Efficient algorithms are presented to generate approximate expressions for transfer functions and characteristics of large linear analog circuits. The algorithms are based on a compact determinant decision diagram (DDD) representation of exact transfer functions and characteristics. Several theoretical properties of DDDs are characterized, and three algorithms, namely, based on dynamic programming, based on consecutive kshortest path based, and based on incremental kshortest path, are presented in this paper. We show theoretically that all three algorithms have time complexity linearly proportional to DDD, the number of vertices of a DDD, and that the incremental kshortest path based algorithm is fastest and the most flexible one. Experimental results confirm that the proposed algorithms are the most efficient ones reported so far, and are capable of generating thousands of dominant terms for typical analog blocks in CPU seconds on a modern computer workstation. Index Terms — analog symbolic analysis, circuit simulation, determinant decision diagrams, matrix determinant, behavioral modeling I.
(SEMI)SYMBOLIC MODELING OF LARGE LINEAR SYSTEMS: PENDING ISSUES
"... The paper deals with some open problems from the area of symbolic and semisymbolic modeling of linear systems, focusing on combining the symbolic, semisymbolic and numeric computation. ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The paper deals with some open problems from the area of symbolic and semisymbolic modeling of linear systems, focusing on combining the symbolic, semisymbolic and numeric computation.