I applied through other source. I interviewed at Synopsys (Salt Lake City, UT) in Mar 2019
Interview
The interview had 3 rounds with a 45-minute duration each. The interview was focused on C++, formal methods for datapath verification, contemporary solvers, and techniques in formal verification, professional experience from the previous company, etc.
Interview questions [1]
Question 1
1. Difference between call by value and call by reference
2. Definition of Polymorphism
3. SMT solver basics
4. Decision procedures in SAT solvers
5. Formal methods
