Anshul Kumar

Anshul Kumar is a Design Verification Engineer at Analog Devices, specializing in RTL design verification, formal property verification, and functional correctness. With experience in the semiconductor industry, Anshul has worked on high-complexity projects and excels in using formal verification tools to ensure reliable silicon designs. Previously, Anshul held the role of Associate Design Verification Engineer and worked as a contractor at Analog Devices, as well as an intern at the Defence Research and Development Organisation (DRDO). Anshul is currently pursuing challenges as a Senior Formal Verification Engineer at Astera Labs. Anshul holds a Bachelor of Technology in Electrical, Electronics, and Communications Engineering from the National Institute of Technology, Kurukshetra, completed in 2021.