Robert K. Brayton, pioneer in logic synthesis and formal verification, has diedeecs.berkeley.edu5 pointsoldgradstudenta year ago