Unix Linux, Shell, Perl, Pcie, Makefile, Ethernet, Python, Monitors Checkers Scoreboards Assertions, Constrained-random verification functional coverage, AMBA protocols, SystemVerilog UVM

Security Checks, Protocol Compliance Verification, formal verification, Deadlock Analysis, Formal Coverage Analysis, Connectivity Verification, Property Verification, Uvm, Assertion-Based Verification SVA