2007: Robert K. Brayton, known for work in logic synthesis, formal verification and formal equivalence checking.
2007: Robert K. Brayton，由于他在逻辑综合、形式验证方面的工作。