As a Senior Corporate Application engineer at Synopsys, I primarily focus on assertion based verification methodologies and assertion IPs. I am also actively involved in formal verification. I hold a Masters Degree in Microelectronics from Victoria University, Melbourne, Australia .