Modeling, CMOS technologies, automation techniques, AI-driven engineering tools, circuit design verification, product qualification, DRAM, silicon correlation, analog and mixed-signal IC design, advanced process nodes, semiconductor device physics

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

Debug Root Cause Analysis, Verification Planning, Uvm, SoC Verification, systemverilog, Functional Coverage, Assertion-based Verification

C, Makefile, Soc Architecture, Windows, Perl, Linux, Verilog, Python, System Verilog, Systemc, ASIC Design Flow, debugging skills in functional simulations, UVM testbenches, automating workflows in a distributed compute environment, Asic Design Verification