Development & Quality

Internship: Formal verification of digital IPs connected to a SoC communication interface - Paris, France





Project Description: (3 months)

Formal verification tools give promising methodologies to make electronic designs more reliable. Melexis is looking for an intern to develop a new verification environment leveraging formal methodology to improve the global quality of its digital IPs.

After a familiarization with the Melexis SoC communication interface you will

  • Develop a formal verification environment to assess the correctness of the Melexis digital IPs and to highlight possible design issues.
  • Have to develop a flexible environment, that can be used by other digital designers and for future digital IPs.


  • Verilog / System verilog assertion
  • Verification methodology
  • Digital design


Joining Melexis for your internship is the opportunity to build up your know-how in a high-tech, international and dynamic company, benefit from the experience and training of our experts and enjoy the welcoming and friendly atmosphere of our teams.

Inspired Engineering

We use cookies in order to let you fully experience this website. Cookies are small files we put in your browser to mainly track usage or remember your settings of our website. Want to know more about how we use these Cookies please read our Cookie policy.