Processor Verification

Deep expertise in processor architecture and verification methodologies. Proficient in complex processor features including MMU, MPU, Cache Coherency, VLIW, SIMD, and multicore systems. Skilled in coverage-driven verification, constraint-based test generation, and both PLV and MLV verification levels. Examples include designing state-aware test generators supporting complex processor features and end-to-end verification of ISA coverage, action points, and debug units.

AI/ML in Verification

Unique ability to apply machine learning techniques to verification challenges. Expertise in anomaly detection, clustering, and classification algorithms for optimization, triaging, and automation in verification workflows. Examples include building AI-ML log anomaly detectors for failure triaging, developing ML-based configuration space optimization tools, and integrating ML-based failure analysis into verification processes.

Technical Leadership

Proven capability in building scalable verification infrastructure from scratch and establishing best practices across teams. Skilled in prototyping new tools, standardizing methodologies, and leading cross-functional initiatives. Examples include leading the Verification Best Practices team, prototyping co-simulation environments that changed verification methodology, and introducing AI tools and modern development practices to verification teams.

Collaborative Team Player

Trusted go-to member for tough technical challenges across verification teams. Known for mentoring engineers and building solutions outside immediate ownership— through VBPT and parallel initiatives—so teams move faster. Examples include standardizing workaround management, introducing documentation standards and dashboard standards, driving cross-team debug support with FSDB tracing tools, and earning consistent recognition in professional recommendations.