Programming Languages: Verilog/SystemVerilog (SVA), Python, C++, Chisel

EDA & Hardware Verification: Symbolic Execution, Concolic Testing, Hardware Simulation & Emulation, LLM-based Testing, SMT Solver, Model Checking, Hardware Security

Optimization & AI: Reinforcement Learning (Multi-agent), Meta-heuristic Optimization, Genetic Algorithm, LLM-driven EDA Optimization

Tools & Frameworks: Cadence JasperGold, Synopsys Formality, Verilator, Yosys, Pono, Cocotb, iverilog, VCS