Robert K. Brayton was born on October 23, 1933, and passed away on January 10, 2025. He was an American electrical engineer, mathematician, and retired professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. Throughout his career, he worked on topics such as logic synthesis, formal verification, and electronic design automation (EDA). His professional work lasted for more than 60 years.

Early life and education

Brayton was born in Ames, Iowa. His father was a high school teacher, and he grew up in a family that valued learning. He earned a Bachelor of Science in Electrical Engineering (BSEE) from Iowa State University in 1956. After a short time working for Sperry on ICBM computer development and serving in the military through ROTC, he continued his education at the Massachusetts Institute of Technology (MIT). He received his Ph.D. in mathematics from MIT in 1961. During his time at MIT, he helped with John McCarthy’s Artificial Intelligence project and worked on the first LISP compiler.

Career

Brayton started his professional career at IBM's T. J. Watson Research Center in Yorktown Heights, New York. He worked there for 26 years, from 1961 to 1987, in the Mathematical Sciences Department. During this time, he led the Yorktown Silicon Compiler team and helped create the sparse tableau methodology, which became an important part of circuit simulation. His early work on circuit simulation and logic representation helped improve design automation tools.

In 1987, Brayton joined the University of California, Berkeley, as a professor in the EECS department. He became the Cadence Distinguished Professor of Electrical Engineering and held the Edgar L. and Harold H. Buttner Endowed Chair. At Berkeley, he worked on advanced combinational and sequential logic synthesis, formal verification, and multi-level logic minimization. His group contributed to the development of the Multi-level Logic Synthesis System and tools like the Espresso logic minimizer, which helped with circuit design and verification.

Research and contributions

Brayton’s research covered many different subjects, such as nonlinear network analysis, circuit simulation, logic synthesis, and formal verification. He wrote more than 450 technical papers and 10 books. He helped develop logic synthesis, especially by creating and using algorithms and tools in real-world applications.

Awards and honors

During his career, Brayton received many awards and honors:

• ACM Paris Kanellakis Theory and Practice Award (2006)
• IEEE CAS Technical Achievement Award (1991)
• IEEE CAS Guilleman-Cauer Award (1971)
• ISCAS Darlington Award (1987)
• IEEE CAS Golden Jubilee Award and IEEE Millennium Medal (2000)
• Iowa State University Marston Medal (2002)
• IEEE Emanuel R. Piore Award (2006)
• EDAA Lifetime Achievement Award (2006)
• Phil Kaufman Award (2007)
• SIGDA/CEDA A. Richard Newton Technical Impact Award (2009)
• Fellow of the IEEE and the American Association for the Advancement of Science (AAAS)
• Member of the National Academy of Engineering

Selected publications

• G. D. Hachtel, R. K. Brayton, Methods for Creating and Checking Logic Systems, published by Kluwer Academic Publishers in 1995.
• R. K. Brayton, R. Spence, Understanding and Improving System Performance, published in Computer-Aided Design of Electronic Circuits by Elsevier Scientific in 1980.
• K. Aadithya, S. Ray, P. Nuzzo, A. Mishchenko, R. K. Brayton, and J. Roychowdhury, “ABCD-NL: Using Simple Yes/No Models to Study Complex Systems in Electronics,” presented at the IEEE Asia South-Pacific Design Automation Conference in 2014.

Personal life

Robert K. Brayton was married to Ruth B. Brayton and had three children: Jane Burchard, Jim Brayton, and Michael Brayton. He passed away in Berkeley, California, on January 10, 2025, at the age of 91.