27th ACM/IEEE Design Automation Conference

Efficient implementation of a BDD package

K.S. Brace, Richard Rudell, Randal E. Bryant · 2002 · 450 citations

Computing, Computer Engineering, Computer Science +17

Clock routing for high-performance ICs

M.A.B. Jackson, A. Srinivasan, E.S. Kuh · 2002 · 156 citations

Engineering, Computer Engineering, Electrical Engineering +16

Shared binary decision diagram with attributed edges for efficient Boolean function manipulation

Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima · 2002 · 151 citations

Computing, Computer Engineering, Computer Science +10

Logic synthesis for programmable gate arrays

Rajeev Murgai, Y. Nishizaki, Narendra Shenoy et al. · 2002 · 130 citations

Engineering, Computer Engineering, Computer Science +17

Sequential circuit verification using symbolic model checking

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 2002 · 96 citations

Computing, Computer Engineering, Computer Science +17