Simulation of MOS Circuits by Decision Diagrams (1985)

by E Cerny, J Gecsei
Venue:IEEE Transactions on CAD