The interview was conducted online.
Mostly, questions were logic-based, focusing on digital circuits and timing analysis.
Then, candidates were asked to implement solutions in Verilog.
The difficulty level was average, so if you know the basics, you will be able to solve them easily.
I can't remember much, but one question was on Finite State Machine for traffic light control.
The following metrics were computed from 5 interview experiences for the Intel Formal Verification Engineer role in India.
Intel's interview process for their Formal Verification Engineer roles in India is fairly selective, failing a large portion of engineers who go through it.
Candidates reported having very good feelings for Intel's Formal Verification Engineer interview process in India.