Alan Mishchenko

DAG-aware AIG rewriting a fresh look at combinational logic synthesis

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton · 2006 · 484 citations

Engineering, Computer Engineering, Computer Science +17

Efficient implementation of property directed reachability

Niklas Eén, Alan Mishchenko, Robert K. Brayton · 2011 · 276 citations

Computing, Computer Science, Algorithms +9

A General Decomposition for Reversible Logic

Marek Perkowski, L. Jóźwiak, Paweł Kerntopf et al. · TU/e Research Portal · 2001 · 173 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Improvements to Technology Mapping for LUT-Based FPGAs

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2007 · 156 citations

Engineering, Computer Engineering, Computer Science +15

Improvements to combinational equivalence checking

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 130 citations

Computing, Computer Science, Algorithms +16