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

Rectangle-packing-based module placement

Hideyuki Murata, Kunihiro Fujiyoshi, Shigetoshi Nakatake et al. · 2002 · 254 citations

Engineering, Computer Engineering, Design Automation +10

Binary decision diagrams and beyond: enabling technologies for formal verification

Randal E. Bryant · 2002 · 131 citations

Computing, Computer Engineering, Computer Science +14

Pattern generation for a deterministic BIST scheme

Sybille Hellebrand, Birgit Reeb, Steffen Tarnick et al. · 2002 · 105 citations

Engineering, Computer Engineering, Computer Science +15

High-density reachability analysis

Kavita Ravi, Fabio Somenzi · 2002 · 96 citations

Computing, Computer Science, Algorithms +13

Hybrid decision diagrams. Overcoming the limitations of MTBDDs and BMDs

E. M. Clarke, Masahiro Fujita, Xudong Zhao · 2002 · 92 citations

Computing, Computer Engineering, Computer Science +16