Verification Specialist

Job Summary:

We are looking for a highly experienced Low Power Verification Engineer with strong expertise in UPFbased low power verification, AMBA protocol verification, and formal verification methodologies. The ideal candidate will lead and contribute to complex SoC verification efforts, ensuring functional correctness, power intent compliance, and protocol adherence across multiple power domains.

Key Responsibilities:

Low Power Verification

• Develop and execute low power verification strategies using UPF (Unified Power Format).
• Verify power intent implementation, including:
• Power domains, power states
• Isolation, retention, and power switching
• Level shifters and power gating
• Validate correctness of power state transitions across different modes (ON, OFF, RETENTION, SLEEP).
• Collaborate with design teams to debug powerrelated issues.

Functional & Protocol Verification

• Create and enhance UVMbased verification environments for SoC/IP.
• Verify AMBA protocols including:
• AXI / AXILite / AHB / APB
• Develop protocol checkers, assertions, and coverage models.
• Perform integrationlevel and subsystemlevel verification.

Formal Verification

• Apply formal verification techniques for:
• Controlintensive logic
• Low power structures
• Protocol compliance and deadlock checks
• Develop SystemVerilog Assertions (SVA) for formal and simulation reuse.
• Run property checking, equivalence checking, and lint/fp analysis.

Debug & Quality

• Analyze complex simulation and formal failures.
• Rootcause low power, protocol, and functional bugs.
• Improve verification completeness through coverage closure.

Leadership & Collaboration

• Mentor junior engineers and review verification code.
• Drive verification best practices and methodology improvements.
• Work closely with design, lowpower architects, and physical design teams.

Required Skills & Qualifications:

Technical Skills

• 812 years of handson experience in ASIC/SoC verification
• Strong expertise in Low Power Verification with UPF
• Indepth knowledge of AMBA protocols (AXI/AHB/APB)
• Proven experience with Formal Verification tools and methodologies
• Excellent command of:
• SystemVerilog
• UVM
• SVA
• Experience with major simulators and formal tools (e.g., Questa, VCS, Jasper, VC Formal)

Conceptual Knowledge

• Poweraware simulation and verification flows
• Multipowerdomain SoC architectures
• Coveragedriven verification
• Assertionbased verification

Soft Skills

• Strong debugging and analytical skills
• Ability to work independently and lead verification efforts
• Good communication and crossfunctional collaboration skills

Education:

• Bachelors or Masters degree in Electronics / Electrical / Computer Engineering

Interested candidates please share your updated resume on sudeshna.r@scaledge.io