Assembly Language, Unix Shell, Verilog, Tcl, Python, Perl, Uvm, SVA, systemverilog, C Language

Unix Shell, Tcl, Python, Perl, Synthesis, ASIC Design Flow, Innovus, Timing Analysis, Cadence EDA tools, Tempus, formal verification, Voltus, Genus, Physical Designing, power analysis

Dac, Uart, Usb, Verilog, Ethernet, Can, Spi, Pcie, Analog IPs, systemverilog, EDA Tools, SVA, assertions, power-aware simulations, security IPs, SoC-level verification, eSPI, Cadence Xcelium, Uvm, UPF, PLLs, gate-level simulations, ADC, Synopsys VCS, low-power verification, functional coverage, I²C, constrained-random verification, Flash Memory, ARM-based microcontrollers