Apple Formal Verification Engineer interview questions

Applied through linkedin. Was contacted by a recruiter who scheduled a phone interview with the manager. After the phone interview the manger asked me to come onsite. Had 7 interviews onsite. The interviews were mostly about my research work and some questions on how I will formally verify FIFOs and some other hardware modules.