Methods for formal verification of SoCs M/F

Job description

General information

Reference

2020-5122  

Job level

20 - Professional First Level

Position description

Posting title

Methods for formal verification of SoCs M/F

Regular/Temporary

Temporary

Job description

As part of its functional safety activities, the team is developing advanced methods of assessing it.
Your mission, as part of this internship, is to contribute to the development of a formal evaluation method of a digital system-on-a-Chip (SoC) type based on the Altarica language.

As part of this internship, you will:
• Study the capacity of the Altarica language to model a digital SoC type system, in particular at what level of abstraction it will be achieved.
• Write a description of a SoC subpart in Altarica language
• Express formal properties of functional safety and use the Altarica ecosystem (ARC /…) to study the modes of system failure.
• Propose countermeasures which may be integrated into future implementations of SoC.
• Compare these results with fault injection or irradiation results already available.
• Document your work.
In a second step, depending on the progress of the work, it will be possible to study the possibility of an automatic translation from Verilog language to Altarica language.

Profile

Master student with an interest in research and formal verification methods.

List of skills:

- Required
o Knowledge of formal logic, langages (PROLOG)
o Knowledge of microprocessor architecture and digital systems architecture
o Knowledge in digital electronics
o Experience with hardware description languages (VHDL, Verilog / SystemVerilog, SystemC)
o Programming experience (C / C ++, LISP)
o Ability to work in a team

- Wished
o Knowledge of formal languages (Altarica,…)
o Knowledge of formal verification methods

Position localisation

Job location

Europe, France, Crolles

Candidate criteria

Education level required

5 - Master degree

Experience level required

Less than 2 years

Languages

English (1- Basic)

Requester

Desired start date

01/09/2020