Formal Verification Engineer Intern (2202559)| Marvell | Pune, MH


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