Aman Vyas

Aman Vyas is a skilled engineering professional with experience in formal verification and RTL modeling within the semiconductor industry. Starting as a Teaching Assistant at Indraprastha Institute of Information Technology, Delhi, Aman transitioned into positions at Intel Corporation, where contributions included leading FPV activities, working on cutting-edge core SoC designs, and developing formal verification and RTL reference models. Subsequent roles included a Design Engineer at MathWorks, focusing on HDL Coder IP Core infrastructure, and a current position as an FV Engineer at Google Cloud, addressing various Google Cloud silicon designs. Educational credentials include a Master of Technology in VLSI and Embedded Systems from Indraprastha Institute of Information Technology and a Bachelor of Technology in Electrical Engineering from JSS Academy of Technical Education.