Hi, I'm Sunil I work as a Formal Verification Engineer at Analog Devices, where I specialize in applying advanced formal methodologies to ensure robust and bug-free designs. I completed my M.Tech from NIT Warangal, and I'm deeply passionate about exploring the depth and potential of formal verification techniques in modern VLSI design flows.