Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition

BerkMin: A fast and robust SAT-solver

E. Goldberg, Yakov Novikov · 2003 · 332 citations

Computing, Computer Engineering, Computer Science +7

Networks on chip: a new paradigm for systems on chip design

Luca Benini, Giovanni De Micheli · 2003 · 171 citations

Engineering, Computer Engineering, Systems Engineering +17

Assigning program and data objects to scratchpad for energy reduction

Stefan Steinke, Lars Wehmeyer, Bo-Sik Lee et al. · 2003 · 163 citations

Engineering, Computer Engineering, Computer Science +17

Low power error resilient encoding for on-chip data buses

Davide Bertozzi, Luca Benini, Giovanni De Micheli · 2003 · 115 citations

Engineering, Computer Engineering, Computer Science +17

Improving compression ratio, area overhead, and test application time for system-on-a-chip test data compression/decompression

P.T. Gonciari, Bashir M. Al‐Hashimi, Nicola Nicolici · 2003 · 90 citations

Engineering, Computer Engineering, Computer Science +16