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