Machine Learning, Rft, Verilog, System Verilog, Python, Uvm, LLMs, Pre-Silicon Verification, EDA Tools, formal verification, RAG, RL, Agentic Frameworks

Jtag, Verilog, Embedded Firmware, System Verilog, Power management verification, MBIST, Formal verification methodologies, IEEE1500, UPF, C Language, Hardware, Dft