3 ms·
Robert K. Brayton, pioneer in logic synthesis and formal verification, has died
- oldgradstudent 2y agoHe 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 https://www.youtube.com/watch?v=rImWxJVirwE
- toomuchtodo 2y agohttps://people.eecs.berkeley.edu/~brayton/ https://people.eecs.berkeley.edu/~brayton/ https://www2.eecs.berkeley.edu/Faculty/Homepages/brayton.html https://www2.eecs.berkeley.edu/Faculty/Homepages/brayton.htm... https://ethw.org/Robert_K._Brayton https://ethw.org/Robert_K._Brayton https://www.legacy.com/us/obituaries/sfgate/name/robert-brayton-obituary?id=57269958 https://www.legacy.com/us/obituaries/sfgate/name/robert-bray...