I specialize in application of different domains of formal verification in IP and SOC verification. I have working knowledge about functional, security, CDC, connectivity, software and architectural formal. I have trained more than 50 individuals in above domains