Robert K. Brayton


Robert K. Brayton was an American electrical engineer, mathematician, and professor emeritus in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He worked in logic synthesis, formal verification, and electronic design automation, with a career spanning over six decades.

Early life and education

Brayton was born in Ames, Iowa, and grew up in an academic environment; his father was a high school teacher. He graduated with a Bachelor of Science in Electrical Engineering from Iowa State University in 1956. After a brief period working for Sperry on ICBM computer development and fulfilling his ROTC commitment, he pursued graduate studies at the Massachusetts Institute of Technology, earning his Ph.D. in mathematics in 1961. While at MIT, he contributed to John McCarthy’s Artificial Intelligence project and worked on the first LISP compiler.

Career

Brayton began his professional career at IBM's T. J. Watson Research Center in Yorktown Heights, New York, where he spent 26 years in the Mathematical Sciences Department. There, he led the Yorktown Silicon Compiler team and co-developed the sparse tableau methodology, which became foundational in circuit simulation. Brayton’s early work on circuit simulation and logic representation contributed to the evolution of 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 in advanced combinational and sequential logic synthesis, formal verification, and multi-level logic minimization. His group played a role in the development of the Multi-level Logic Synthesis System and tools such as the Espresso logic minimizer, which helped circuit design and verification.

Research and contributions

Brayton’s research spanned a wide range of topics, including nonlinear network analysis, circuit simulation, logic synthesis, and formal verification. He authored over 450 technical papers and 10 books. He contributed to logic synthesis, particularly the development and practical realization of algorithms and tools.

Awards and honors

Throughout his career Brayton received awards and recognitions:
Brayton was married to Ruth B. Brayton with three children: Jane Burchard, Jim Brayton, and Michael Brayton. Robert K. Brayton died in Berkeley, California, on January 10, 2025, at the age of 91.