Formal Verification Engineer
Job Description:
We are looking for RTL design engineers to work with our clients in the area of formal verification. You will be required to help design, implement and execute formal end-to-end formal verification flows, including specification, development, testing and documentation
Educational Qualfications:
Masters or Ph.D degree in Computer Science, Computer Engineering or Electronics Engineering
Required Experience:
3 to 5 years experience in Formal Verification
Job Location:
Bangalore, India
Required skills:
- Knowledge of software languages like Perl/Tcl/Java
- Expertise in SystemVerilog Assertions coding
- Experience in working on assertions, formal verification checks, equivalence checks
- Good understanding of formal verification algorithms and techniques
- 3-5 years experience with industry standard formal verification tools