Jobs

Interviews
Job Alerts
Tools

Upskill and Grow with AI

Mock Interview Practice interviews in realistic simulations

Coding Practice Improve your coding skills with challenges

Certification Earn certifications to validate your skills

AI Learning Get trained with AI expert sessions

Career Path AI insights for smarter career decisions

AI Job Match Score AI-Powered Job Match Against Your Resume and Optimize Your Resume

Career Tools and Resources

Resume Builder Build Professional Resume with Ease

ATS Friendliness Check Check Resume Friendliness for Applicant Tracking Systems

Auto Apply Apply to hundreds of jobs on any platform effortlessly

Co-Pilot (Chrome Extension) Your AI Assistant for Seamless Browsing Efficiency

Interview Questions Streamline interviews with ready-to-use questions

Salaries Discover market-driven salary insights across skillsets and geographies

Companies Explore leading companies actively hiring talent
For Employers

Interviews

Home
>
Jobs in hyderabad
>
Kaizen Sra Technologies
>
Formal Verification Engineer

Formal Verification Engineer

Kaizen Sra Technologies

6 - 11 years

|

20 - 35 Lacs

Posted:22 hours ago| Platform:

Apply

Skills Required

verilog rtl verification formal vhdl vc

Work Mode

Work from Office

Job Type

Full Time

Job Description

Formal Verification

Implementation and maintenance of Formal Verification environments in Chisel
Applying various FV techniques to reduce complexity and prove correctness of DUT.
Debugging RTL to identify causes of failure scenarios.
Guide and train team members on effective usage of Formal Verification tools
Develop/modify scripts to automate the verification process.
Review formal setups and proofs with design and verification teams.
Maintain and extend assertion libraries.
7+ years of experience in Formal Verification of Digital Hardware Design
Extensive experience with Formal Abstraction Techniques and sign-off process
Familiarity with industry-standard Formal Verification Tools, such as VC Formal, Jasper Gold
Knowledge of Hardware Description and Verification Languages, such as VHDL, Verilog/ System Verilog
Knowledge of Object-oriented Programming is a plus.

More Jobs at Kaizen Sra Technologies

System Administrator

Hyderabad

INR 6 - 9 Lacs

Bench sales

Hyderabad

INR 6 - 9 Lacs

SAP FICO For Senior Support only 1 Month Joinee

Bengaluru

INR 10 - 20 Lacs

Sap Sd Tm Consultant

Bengaluru

INR 20 - 35 Lacs

Cybersecurity Pre Sales Consultant

Hyderabad, Bengaluru

INR 25 - 40 Lacs

Mock Interview

Practice Video Interview with JobPe AI

Start Job-Specific Interview

cta

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.

Job Application AI Bot

Job Application AI Bot

Apply to 20+ Portals in one click

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

Google Play

App Store

coding practice

Enhance Your Skills

Practice coding challenges to boost your skills

Start Practicing Now

Kaizen Sra Technologies

Information Technology / Consulting

Tech City

RecommendedJobs for You

Formal Verification Engineer

Kaizen Sra Technologies

hyderabad

Formal Verification Engineer

Advanced Micro Devices, Inc

hyderabad

Formal Verification Engineer

Advanced Micro Devices, Inc

hyderābād

Formal Verification Engineer

hyderabad, telangana, india

Formal Verification Engineer

Bengaluru, Karnataka, India

Formal Verification Engineer

Advanced Micro Devices, Inc

Bengaluru

Formal Verification Engineer

Bengaluru, Karnataka, India

Formal Verification Engineer

Bengaluru

Formal Verification Engineer

Kaizen SRA Technologies Private Limited

Hyderabad / Secunderabad, Telangana, Telangana, India

SoC Design Verification Engineer

hyderabad, chennai, bengaluru