Robert K. Brayton

MIS: A Multiple-Level Logic Optimization System

Robert K. Brayton, Richard Rudell, Alberto Sangiovanni‐Vincentelli et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1987 · 1.2K citations

Engineering, Computer Engineering, Computer Science +16

Sequential circuit design using synthesis and optimization

Ellen Sentovich, K.J. Singh, Cho W. Moon et al. · 2003 · 615 citations

Engineering, Computer Engineering, Computer Science +17

Logic verification using binary decision diagrams in a logic synthesis environment

Sharad Malik, A.R. Wang, Robert K. Brayton et al. · 2003 · 509 citations

Computing, Computer Engineering, Computer Science +17

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

A theory of nonlinear networks. I

Robert K. Brayton, Jürgen Moser · Quarterly of Applied Mathematics · 1964 · 455 citations · Full text

Natural Sciences, Computer Science, Mathematics +12