Maciej Ciesielski

Wave-pipelining: a tutorial and research survey

Wayne Burleson, Maciej Ciesielski, F. Klass et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1998 · 238 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +17

BDS: a BDD-based logic optimization system

Congguang Yang, Maciej Ciesielski · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 185 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Optimum and suboptimum algorithms for input encoding and its relationship to logic minimization

Shipin Yang, Maciej Ciesielski · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 97 citations

Computing, Computer Science, Algorithms +14

Fast Algebraic Rewriting Based on And-Inverter Graphs

Maciej Ciesielski, Alan Mishchenko · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2017 · 69 citations

Computing, Computer Engineering, Computer Science +15

LPSAT: a unified approach to RTL satisfiability

Zhihong Zeng, Priyank Kalla, Maciej Ciesielski · Scholarworks (University of Massachusetts Amherst) · 2001 · 67 citations

Computing, Computer Engineering, Computer Science +17