Perl, Tcl Scripting, Python, System Verilog, Synopsys Mentor VIPs, PCIe Gen3, random constraint-based testing, verification methodologies, performance power optimization, SMMU, CXL 1.1, Coresight architecture, assertion-based verification, Uvm, UPF, CHI protocols, Axi, formal verification, power-aware verification, coverage-driven testing, SVA

Python, Excel Vba, ANSYS-Classic Workbench, Lean Principles, Nx, AI-driven tools

Debugging, MATLAB, Design Calculations, DO-254, Electrical Testing, Simulink, Troubleshooting, Verification, Qualification, Electronics Design, DO-160, Data Analysis, Simulation, Power Electronics

Django, Machine Learning, Microsoft Azure, Django Rest Framework, Automated Testing, Python, Kubernetes, generative AI, SRE principles, observability

Constraints, Perl, Verilog, Python, Tcl, Sta, Synthesis, Design Compiler, primetime, Fusion Compiler, ICC2, DSO.ai, Formality, Conformal, VCLP, low-power verification

Python Scripting, Tcl Scripting, Innovus Fusion Compiler, primetime, StarRC, Formality LEC, Tempus