PCIe Formal Verification Engineer, PCI Express, formal verification, FPV, SVA, SystemVerilog Assertions, Questa Formal

SoC Verification, formal verification techniques and tools, model checking, equivalence checking

Power intent formats - UPF CPF, Low Power techniques, Verification

simvision , Verilog, FineSim, Analog Custom Virtuoso, Xcelium, WaveView, systemverilog, debug environments, AMS verification Tools, Hspice, Cadence DiscoveryAMS, Digital Simulation Tools, Spice, PrimeSim, Synopsys XA

Verilog, Ovm, DFI protocol, LPDDR4, DDR PHY verification, Uvm, JEDEC standards, systemverilog, LPDDR5

Design Verification

Programming Languages, Architecture and design tools, Design verification methods, Scripting tools, RTL to GDS Flow, virtuoso

Shell, Perl, Python, Tcl, Cadence Xcelium, Mentor QuestaSim, PCI Express, Uvm, systemverilog, Synopsys VCS, Assertion-Based Verification, Constrained Random Verification, Functional Verification