Ovm, Verilog, Python, formal verification, Functional Verification, Asic verification, Pre-Silicon Verification, systemverilog, Uvm, Simulation

Verilog, System Verilog, Python, Machine Learning, Pre-Silicon Verification, LLMs, Uvm, formal verification, EDA Tools