Bipul Talukdar is SmartDV’s director of Applications Engineering, North America. He is an expert in hardware functional verification with a specialty in Verification IP development, formal property verification, and hardware emulation. His recent experience is in formal verification of RISC-V-based cores and subsystems and coverage-based closure. He holds a Bachelor of Science in Engineering, Electronics and Telecommunication from the National Institute of Technology, Silchar, India.