I applied through an employee referral. I interviewed at Google (Sunnyvale, CA)
Interview
Screening (1hour) followed by 3 rounds (1 FV, 1 Design, 1 Googlyness). I got a call about a week into applying and scheduled my screening. The turnaround time is quick after applying.
Interview questions [1]
Question 1
The FV rounds are mostly around sva fundamentals and they give you a design and ask you to formally verify it. Should be comfortable whipping up auxilary logic to support your svas. Design round was mostly theoretical : scenarios and how formal can help verify it.