Expertise in Digital Verification / Formal Verification flow Expertise in working on system Verilog assertions & test benches Expertise in working on UVM based verification flow Expertise in working on ARM processor Expertise in working on AMBA bus protocols Expertise in driving Verification Strategy, writing Test Plan, developing Test Bench, Test cases. Expertise in analysing Code Coverage, Functional Coverage and Assertions. Expertise in verification of complex SoCs. Expertise in Test Plan creation and Verification technologies like Code Coverage, Functional coverage, assertion based verification. Expertise in Verification of complex datapath, DSP based ASICs Good knowledge in gate-level simulation, and Scripting languages like Python, TCL Preferred resources with valid regional work permit who are willing to relocate immediately