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

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