Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

Dynamic variable ordering for ordered binary decision diagrams

Richard Rudell · 2002 · 438 citations

Engineering, Computer Engineering, Computer Science +16

Algebraic decision diagrams and their applications

R. Iris Bahar, E.A. Frohm, Charles M. Gaona et al. · 2002 · 283 citations

Computing, Computer Engineering, Computer Science +16

Verification of large synthesized designs

Daniël Brand · 2002 · 191 citations

Computing, Computer Engineering, Computer Science +15

Skew And Delay Optimization For Reliable Buffered Clock Trees

S. Pullela, N. Menezes, J. Omar et al. · 2005 · 109 citations

Engineering, Computer Engineering, Computer Science +17

Retiming sequential circuits for low power

José Monteiro, Srinivas Devadas, Abhijit Ghosh · 2002 · 105 citations

Engineering, Computer Engineering, Electrical Engineering +17