Formal propertyhardware verification
Share
Job Location:
Monthly Salary:
Posted on:
18 hours ago
Vacancies:
1 Vacancy
Job Summary
Greetings from Maneva!
Job Description
Job Title - Formal property / hardware verification
Experience - 4-10 Years
Location - Bangalore
Notice - Immediate to 15 Days
Requirements:-
- Conduct comprehensive formal verification of hardware designs and digital systems ensuring all properties and specifications are met.
- Collaborate with design and development teams to define formal properties and verification requirements.
- Prepare and execute verification test plans analyze results and document findings for internal and external stakeholders.
- Identify troubleshoot and resolve verification issues providing technical guidance and support throughout the project lifecycle.
- Maintain up-to-date expertise on formal verification methodologies and tools advocating best practices within the team.
- Contribute to process improvement initiatives to enhance the efficiency and effectiveness of the verification cycle.
SKILLS
- Minimum of 4 years of professional experience in formal property verification or related hardware verification domains.
- Strong technical background in digital design verification methodologies and EDA tools (e.g. Jasper Gold Questa Formal etc.).
- Bachelors or Masters degree in Electronics Electrical Engineering Computer Engineering or related field.
- Proficiency in hardware description languages (HDL) such as Verilog VHDL or System Verilog.
- Solid understanding of formal verification techniques algorithms and industry standards.
- Excellent problem-solving skills and attention to detail.
- Effective communication and interpersonal skills for cross-functional collaboration.
If you are excited to grab this opportunity please apply directly or share your CV atand
Key Skills
- Account Management
- Apache Web Server
- Jpa
- ABAP
- Community Support
- Islamic Banking
