Key skills
ASIC/SoC verificationUVMSystemVerilogFormal verificationConstraint-random verificationAssertionsCoverage analysisARM IPsC-based test developmentGate-Level Simulation (GLS)RTL debuggingVersion control systemsCI/CD pipelinesCVersion ControlCI/CDCommunicationCollaboration
About this role
SARACA is currently hiring for an ASIC Verification Engineer (ARM) for a remote opportunity. The role involves driving verification of complex ARM-based IPs for next-generation wireless hardware systems, requiring strong expertise in ARM IP verification and advanced verification methodologies.
Responsibilities:
- Lead and execute verification of ARM-based IP blocks (CPU, GPU, Debug subsystems)
- Develop and implement verification plans, test cases, and UVM environments
- Perform coverage analysis, debugging, and Gate-Level Simulation (GLS)
- Review specifications and contribute to architecture/design discussions
- Develop C-based test cases for configuring and validating ARM IPs
- Collaborate with cross-functional teams to improve design quality and debug issues
- Drive continuous improvement in verification methodologies and processes
- Own verification activities end-to-end, from planning to execution
Requirements:
- 5+ years of hands-on experience in ASIC/SoC verification
- Strong expertise in UVM and SystemVerilog
- Experience with formal verification, constraint-random verification, assertions, and coverage analysis
- Solid understanding of ARM IPs (Cortex-A v9, Mali GPU, CoreSight, CSS600, etc.)
- Hands-on experience in C-based test development for ARM IP validation
- Experience with Gate-Level Simulation (GLS) and debugging complex designs
- Experience in building and reusing UVM-based verification environments
- Ability to read and debug RTL (SystemVerilog, Verilog, VHDL)
- Familiarity with version control systems and CI/CD pipelines
- Strong collaboration, communication, and documentation skills
- Ability to work independently in a fast-paced, global environment