SystemVerilog UVM

Specman E

Cadence JasperGold (formal verification)

Cadence Xcelium (simulation)

Vmanager Enterprise Edition

VHDL

Regression and coverage analysis tools

Certitude (verification environment quality)

Perl scripting

Python scripting

Test bench development and qualification

Formal verification methodologies

Excellent English communication skills (written and verbal)

Strong problem-solving and debugging abilities

Attention to detail and quality focus

Cross-cultural communication and collaboration

Team player with ability to work in multi-cultural environments

Project management and planning capabilities

Documentation and reporting skills

Ability to work independently and take ownership of tasks