Computer Architecture, C, Makefile, Hdl Programming, Digital Logic Design, Perl, Verilog, Ruby, Python, System Verilog, UNIX Software Environment, AI Tools, Logic Simulation, Functional Verification, Simulation and Debugging

perl scripting, Jasper, Verilog, Computer Architecture, System Verilog, VSI-FV, digital systems, assembly x86 code, IEV, IFV, CPU verification, Formal Verification methodology