13 Nov
|
Kaizen Sra Technologies
|
Mumbai
13 Nov
Kaizen Sra Technologies
Mumbai
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.
📌 Formal Verification Engineer (Mumbai)
🏢 Kaizen Sra Technologies
📍 Mumbai