Low Power Formal Verification

Aarna HR Solutions Pvt Ltd

Apply to this job
Bengaluru, KA, in on site Until 8/21/2026 First posted April 21, 2026 Last posted April 21, 2026
Job description

Greetings!!

Aarna HR Solutions is a Human Resource Recruitment Company providing services to Various IT, ITES and Non- IT companies across India. Aarna HR Solutions strive towards hiring the best and the brightest talent in the industry. We hire individuals with a strong sense of pride in their performance, team spirit, and a desire to excel.
We have immediate openings for one of our Semiconductor Client for Bangalore location.

Qualification: BE/B.Tech/ME/M.Tech
Experience: 5-10 yrs
Location- Bangalore
Job Description
• Work Experience in Advanced Constraint Verification & post-layout STA
• Expertise in Low Power Formal Verification
• Expertise in Constraint Development (Functional, DFT)
• Knowledge on IP constraint on DDR3/4, Multiprotocol SerDes, ARM core and Subsystem, USB3.0 etc a big plus
• Expertise in MCMM definitions
• Knowledge in Abstraction definition and creation (ETM/ILM/Hyperscale)
• Knowledge on Extraction & PTSI pruning parameter definitions
• FILL aware timing strategies/flow definition
• DMSA and ECO strategy definitions
• Clock scaling Analysis

If interested please send your UPDATED Profile with below mentioned details.
Current CTC:
Expected CTC:
Notice Period:
Reason for Job Change:
Availability of interview:

Please Note:
This is a mass mail. If this profile is not suitable to you, then please ignore this mail or refer someone who may be suitable

With Regards,
Reshmi
Aarna HR Solutions
HR Recruiter
Mob No: 9902579718

All your information will be kept confidential according to EEO guidelines.

About this role

Summary

Perform low power formal verification, constraint development, timing analysis, and strategy definition.

Job title

Low Power Formal Verification

Experience level

5-10 yrs

Industry

semiconductor

Location requirements

Bangalore, India; on-site work only

Salary

Not specified

Management role

No

Skills & keywords

Required skills

formal verificationconstraint verificationconstraint developmenttiming strategies

Preferred skills

constraint developmentIP constraintDMSAECO strategyclock scaling analysis

Specializations

formal verificationconstraint developmentlow powertiming analysis
Locations

Structured locations inferred from the posting.

Bengaluru, Karnataka, India

On-site City