memory controllers , Verilog, Flash, Test Planning, C, Vcs, Debugging, DDR, NCSim, ARM cores, Sram, memory subsystems, systemverilog, microcontroller architectures, testbench architecture development, SVA, AHB, assertions, regression management, Axi, Questa, functional performance validation, Uvm, interconnect protocols, verification closure, feature traceability, AMBA, Modelsim, VHDL, functional coverage

Pli, Vcs, Verilog, gate level simulations, Questa, Uvm, NCSim, Modelsim, Testplan development, VHDL, SVA, dpi, formal verification methodology, assertions, functional coverage, regression management, verification planner