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

by C-J R Shi, X-D Tan
Venue:IEEE Transactions on Computer-Aided Design