PhD proposal: AI-Based Automatic Assertion Mining for Microelectronic Verification

Developing an AI-based assertion miner capable of learning temporal patterns from simulation traces and generating high-quality assertions with minimal human intervention, thereby reducing the need for repeated verification cycles and excessive computational runs, ultimately contributing to more sustainable microelectronics.

See the document below for more details.

Notre laboratoire accueille des candidat.e.s aux origines et aux expériences diverses.
Nous considérons l'égalité des sexes et la diversité comme une force et un atout.

Our laboratory welcomes applicants with diverse backgrounds and experiences.
We regard gender equality and diversity as a strength and an asset.