Python, Tcl, Shell scripting, Debugging, Perl, Uvm, systemverilog, Mixed-Signal Verification

C, Perl, Verilog, Shell scripting, Python, Tcl, SVA, UVM assertions, systemverilog

C, Gdb, Gcc, Eclipse, Zephyr, Gnu Make, JIRA, Git, Confluence, Python, DC to AC inverters, closed-loop control algorithms, AC grid simulators, STM32, Atlassian cloud suite, UL and IEC standards, drivers for sensors, bootloader design and implementation

PostgreSQL, FastAPI, Kubernetes, Python, Redis, WebSockets, Go, Audio Processing, real-time streaming systems, VAD

Perl, Python, Formal Verification methodologies, Axi, APB, JasperGold, AMBA protocols, VC Formal, Uvm, AHB, systemverilog