Tcl, Python, Perl, CI CD integration, assertion-based verification, CAD tool integration, coverage analysis, Uvm, regression automation, formal verification, systemverilog, dynamic verification

Pcie, Ethernet, Emulation, Simulation, RISC-V architecture, AMBA protocols, assertion-based verification, UCIe, Uvm, coverage-driven verification, systemverilog, FPGA prototyping, constrained-random verification, formal verification, SERDES, CXL, hardware software co-verification

Automation, PMO Leadership, Operational Excellence, Executive Stakeholder Management, Program management best practices, AI adoption, ASIC development flows, Technical Program Management

Technical Standards, Problem-solving skills, Rail design services, Leadership Skills

Agile Methodologies, Cloud Architecture, Technical Leadership, Data Analytics, DevOps Practices, Project Management, Microservices Design, System Scalability