-
2
-
-
0028374647
-
Symbolic analysis methods and applications for analog circuits: A tutorial overview
-
Feb.
-
G. Gielen, P. Wambacq, and W. Sansen, "Symbolic analysis methods and applications for analog circuits: A tutorial overview," Proc. of IEEE, vol. 82, pp. 287-304, Feb. 1994.
-
(1994)
Proc. of IEEE
, vol.82
, pp. 287-304
-
-
Gielen, G.1
Wambacq, P.2
Sansen, W.3
-
6
-
-
0033683298
-
Multi-terminal determinant decision diagrams: A new approach to semi-symbolic analysis of analog integrated circuits
-
June
-
T. Pi and C.-J. Shi, "Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits," in Proc. Design Automation Conf. (DAC), pp. 19-22, June 2000.
-
(2000)
Proc. Design Automation Conf. (DAC)
, pp. 19-22
-
-
Pi, T.1
Shi, C.-J.2
-
8
-
-
0035398370
-
Compact representation and efficient generation of s-expanded symbolic network functions for computer-aided analog circuit design
-
April
-
C.-J. Shi and X.-D. Tan, "Compact representation and efficient generation of s-expanded symbolic network functions for computer-aided analog circuit design," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, pp. 813-827, April 2001.
-
(2001)
IEEE Trans. on Computer-aided Design of Integrated Circuits and Systems
, vol.20
, pp. 813-827
-
-
Shi, C.-J.1
Tan, X.-D.2
-
9
-
-
0034853723
-
Efficient ddd-based symbolic analysis of large linear analog circuits
-
June
-
W. Verhaegen and G. Gielen, "Efficient ddd-based symbolic analysis of large linear analog circuits," in Proc. Design Automation Conf. (DAC), pp. 139-144, June 2001.
-
(2001)
Proc. Design Automation Conf. (DAC)
, pp. 139-144
-
-
Verhaegen, W.1
Gielen, G.2
-
10
-
-
0035178775
-
Lower bound based ddd minimization for efficient symbolic circuit analysis
-
Nov.
-
A. Manthe and C.-J. R. Shi, "Lower bound based ddd minimization for efficient symbolic circuit analysis," in Proc. IEEE Int. Conf. on Computer Design (ICCD), pp. 374-379, Nov. 2001.
-
(2001)
Proc. IEEE Int. Conf. on Computer Design (ICCD)
, pp. 374-379
-
-
Manthe, A.1
Shi, C.-J.R.2
-
11
-
-
0027047925
-
On variable ordering of binary decision diagrams for the application of multi-level logic synthesis
-
March
-
M. Fujita, Y. Matsunaga, and T. Kauda, "On variable ordering of binary decision diagrams for the application of multi-level logic synthesis," in Proc. European Design Automation Conf., pp. 40-54, March 1991.
-
(1991)
Proc. European Design Automation Conf.
, pp. 40-54
-
-
Fujita, M.1
Matsunaga, Y.2
Kauda, T.3
-
12
-
-
0027091090
-
Minimization of binary decision diagrams based on exchanges of variables
-
Nov.
-
N. Ishiura, H. Sawada, and S. Yajima, "Minimization of binary decision diagrams based on exchanges of variables," in Proc. Int. Conf. on Computer Aided Design (ICCAD), pp. 472-475, Nov. 1991.
-
(1991)
Proc. Int. Conf. on Computer Aided Design (ICCAD)
, pp. 472-475
-
-
Ishiura, N.1
Sawada, H.2
Yajima, S.3
-
13
-
-
0027841555
-
Dynamic variable ordering for ordered binary decision diagrams
-
June
-
R. Rudell, "Dynamic variable ordering for ordered binary decision diagrams," in Proc. Design Automation Conf. (DAC), pp. 42-17, June 1993.
-
(1993)
Proc. Design Automation Conf. (DAC)
, pp. 42-117
-
-
Rudell, R.1
-
14
-
-
0842307949
-
Efficient ddd-based term generation algorithm for analog circuit behavioral modeling
-
Jan.
-
S. X.-D. Tan and C.-J. Shi, "Efficient ddd-based term generation algorithm for analog circuit behavioral modeling," in Proc. Asia South Pacific Design Automation Conf. (ASPDAC), pp. 789-794, Jan. 2003.
-
(2003)
Proc. Asia South Pacific Design Automation Conf. (ASPDAC)
, pp. 789-794
-
-
Tan, S.X.-D.1
Shi, C.-J.2
|