Tcl, C, Debugging, Shell, Verilog, System Verilog, Python, Perl, directed and constrained random methodologies, UVM methodology, Metric Driven Verification, assertions, formal verification methodologies

Perl, Python, Tcl, Xcelium simulation, vManager, Real-Number Modeling, Verilog-AMS, JasperGold, Uvm, SVA, systemverilog

UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), C, C++, Shell, Pcie, Perl, Arm, Python, Tcl, Systemc, MCU, Hardware Emulation Platforms, RISC-V, UCIe, systemverilog, Verification Methodology, AMBA, Axi, Formal Model Equivalence Checking Tools, formal verification, VC Formal

Garbage Collection, Nvme, Test Strategies, Pcie, Python, Automated reporting systems, Wear levelling, SSD NAND architecture, Qualification methodologies, Test infrastructure, Error Handling and Recovery Flows, Reliability and Endurance Validation, Quality dashboards, Bad block management, Embedded Firmware development, Validation plans, Error injections, NAND Management, Cloud SSD specifications

Pcie, Verification IPs, Regression systems, Simulation environments, VIP abstraction layers, Industry-standard simulators, CXL, Transaction-based verification methodologies, Revision control systems, Uvm, Assertions

C, Python, LabVIEW, SoC System-on-Chip, precision measurement techniques, voltage regulators, reference circuits, bench characterization of Analog Digital and Mixed-Signal IPs, Microcontrollers

UVM methodology, System Verilog coding, UVM-based verification frameworks