Canonical symbolic analysis of large analog circuits with determinant decision diagrams (2000)

by C-J R Shi, X-D Tan
Venue:IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst