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.