Tcl, C, Perl, Phyton, VHDL, formal methods, vManager, Uvm, systemverilog, EDA Tools, Functional Verification flows

embedded software programming , C, Python, Pcie, DDR, Uvm, system-level test generation, ARM-based SoCs, Emulation, systemverilog, SoC Verification, reusable verification libraries, virtual platforms, Portable Stimulus PSS, constrained-random verification, Perspec, post-silicon validation, verification methodology

embedded software programming , C, Python, Pcie, DDR, SoC Verification, Uvm, ARM-based SoCs, system-level test generation, systemverilog, Emulation, reusable verification libraries, virtual platforms, Portable Stimulus PSS, constrained-random verification, Perspec, post-silicon validation, verification methodology