Goel designs algorithms that can automatically demonstrate the correctness of hardware systems.
March 30th, 2020 by Studio Pence | Posted in CSE | No Comments
Goel designs algorithms that can automatically demonstrate the correctness of hardware systems.