6 - 15 years
4 - 15 Lacs
Posted:1 month ago|
Platform:
On-site
Full Time
Job Title : Formal Verification Engineer Experience range : 6-15 Yrs Location : Hyderabad Availability : Immediate 30 days Job Description : Responsibilities : Identify blocks suitable for applying Formal Verification Create Formal Test-plan for blocks identifying properties to be implemented and sign-off metrics. 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. A keen interest in Processors and Digital systems Strong reasoning skills and excellent attention to detail Good interpersonal and teamwork skills!
Kaizen SRA Technologies Private Limited
Upload Resume
Drag or click to upload
Your data is secure with us, protected by advanced encryption.
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.
We have sent an OTP to your contact. Please enter it below to verify.
Instantly access job listings, apply easily, and track applications.
Bengaluru
13.0 - 17.0 Lacs P.A.
Hyderabad / Secunderabad, Telangana, Telangana, India
4.5 - 15.5 Lacs P.A.
Hyderabad, Telangana, India
5.0 - 8.0 Lacs P.A.
Chennai, Tamil Nadu, India
15.0 - 20.0 Lacs P.A.
Chennai, Tamil Nadu, India
12.0 - 17.0 Lacs P.A.
Bengaluru, Karnataka, India
3.0 - 5.5 Lacs P.A.
Hyderabad, Telangana, India
Experience: Not specified
3.0 - 11.5 Lacs P.A.
Hyderabad, Telangana, India
2.5 - 12.5 Lacs P.A.
Bengaluru / Bangalore, Karnataka, India
2.0 - 3.0 Lacs P.A.
Bengaluru / Bangalore, Karnataka, India
3.0 - 10.5 Lacs P.A.
