This document is a resume for Darshan H seeking a position as an ASIC Verification/Formal Verification Engineer. It summarizes his experience including over 3 years in ASIC verification, most recently working on verification of a Bluetooth audio chip at Microchip Technologies. It lists his skills in SystemVerilog, SystemVerilog assertions, C, formal verification tools, and methodologies. It provides details of several projects at Microchip including verifying modules like I2C, WDT, and configuration registers using tests, assertions, coverage, and formal verification. It also briefly mentions previous work in workflow automation and tool administration at Tata Consultancy Services.