Senior Formal Verification Engineer, Google Cloud
at Google
Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience. 8 years of experience working on main interconnects, Direct Memory Access (DMA), controllers, and power management. Experience capturing design specification in a temporal assertion language such as SVA or PSL. Learn more