Title :
Accurate simplification of large symbolic formulae
Author :
Fernandez, F.V. ; Rodriguez-Vazquez, A. ; Martin, J.D. ; Huertas, J.L.
Author_Institution :
Dept. of Analog Circuit Design, Centro Nacional de Microelectronica, Sevilla, Spain
Abstract :
Simplification techniques for nested symbolic expressions obtained by hierarchical analysis procedures are presented. An algorithm where potential ranges of variation in the symbolic parameter values are considered to perform simplifications is presented. In this approach, the relative significance of each expression at the different nested levels is evaluated prior to performing simplification. Thus, only those terms with little influence on the top expression are eliminated.<>
Keywords :
circuit analysis computing; symbol manipulation; accurate simplification; hierarchical analysis procedures; large symbolic formulae; nested symbolic expressions; symbolic parameter values; Circuit simulation; Symbol manipulation;
Conference_Titel :
Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1992.279354
