Yuktha C

Yuktha C is a Senior Formal Verification Engineer at Qualcomm, where they focus on SoC connectivity, low power verification, sequential equivalence checking, and formal property verification. Previously, Yuktha gained experience as an intern at Cadence Design Systems, where they worked on the entire ASIC flow for their final year project and provided support and training on System Verilog and other tools. Yuktha is currently pursuing a Master of Technology in Artificial Intelligence at BITS Pilani, following a Bachelor of Technology in Electrical, Electronic, and Communications Engineering from B. M. S. College of Engineering.