- Software Development Leader with 19+ years of multi-faceted experience with core competency in Functional modeling, Formal verification & simulation domain of EDA and system software. Developed new architecture & framework while being in core R&D team.- Have been owner & developer of many key products of formal verification. Have led & supported key global clients as part of project requirements. Designed high performance formal verification solution that includes best in class algorithms, methodologies, database & user interface.- Received Organizational (BU Level) Award for outstanding Performance in developing core application- Received multiple accolades (ground breaker award, leadership award, innovation/out of the box)- Patent Granted to detect presence of oscillating loops in the hardware design using formal verification.- Australian PR.
Listed skills include Tcl, Debugging, Shell Scripting, C, and 20 others.