from Hacker News

Robert K. Brayton, pioneer in logic synthesis and formal verification, has died

by oldgradstudent on 1/19/25, 10:16 PM with 2 comments

• by toomuchtodo on 1/20/25, 12:09 AM

  https://people.eecs.berkeley.edu/~brayton/

  https://www2.eecs.berkeley.edu/Faculty/Homepages/brayton.htm...

  https://ethw.org/Robert_K._Brayton

  https://www.legacy.com/us/obituaries/sfgate/name/robert-bray...

• by oldgradstudent on 1/19/25, 10:44 PM

  He and his research group developed several highly influential tools for logic synthesis and verification, including Espresso, MIS, SIS, MVSIS, VIS, and ABC. These tools were released under permissive licenses, and widely adopted across the industry.

  Bob remained active in research until just a few years ago.

  For more about his life and contributions, see the Oral History of Robert "Bob" Brayton at the Computer History Museum: https://www.youtube.com/watch?v=rImWxJVirwE