David Williams

David Williams is a Staff RTL Engineer in the Central Engineering - Systems group at Arm, where they specialize in RTL design for real-time systems and functional safety. They have experience in RTL design for AXI interfaces and memory subsystem verification, as well as expertise in scripting and formal verification. Previously, David served as a Graduate Student Instructor at the University of Michigan, where they taught logic design and supported students in practical applications. Graduating Summa Cum Laude, David holds both a Master's Degree and a Bachelor's Degree in Computer Engineering from the University of Michigan.