Job description:
Marvell is conducting an internship for Formal Verification Engineers.
Job duties and responsibilities:
- Write interface assumptions to constrain the design.
- Write interface and internal assertions to check the design.
- Debug assertion failures.
- Run formal regressions for passed checkers.
- Analyze formal coverage.
Qualifications and other requirements:
- Bachelor’s degree in Computer Science, Electrical Engineering or related fields, or the equivalent work experience that provides knowledge and exposure to theories, principles and concepts.
- Working toward M.Tech. in Electrical, Electronics or Computer Engineering.
- Has taken course work in digital design and computer arithmetic.
- Working knowledge of UNIX operating system.
- Experience in scripting language such as Tcl is a plus.
Job/Req. ID: 2202581
Company: Marvell
Location: Pune, MH
Job Category: Computer Science or Electrical or VLSI Engineering
Join Electrical Jobs or Computer Jobs or VLSI Jobs Telegram Group
