Python, Verilog, Ml, Machine Learning, Functional Verification, systemverilog, Uvm, formal verification, LLMs, agentic AI

C, Verilog, Tcl, System Verilog, Python, Perl, Microprocessor architecture, Assertions, UVM methodology, Metric Driven Verification, Constrained random methodologies, Formal verification methodologies, SoC Verification