India

Formal Verification Engineer West Bengal

Formal Verification Engineer West Bengal
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. Apply on Kit Job: kitjob.in/job/4mpc9m
Highlights
Safety Tips
If the salary for a position is far above normal, proceed with caution.
1 / 10
More info about this ad

Formal Verification Engineer West Bengal has been posted in the Barddhamān Engineering category on Locanto.

For Barddhamān, there are no other ads posted in this category.

There are more ads within a 15 km radius for this category. If you want to view those ads, click here.