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 link below for more details. https://tima.univ-grenoble-alpes.fr/join-tima/phd/phd-proposal-ai-based-automatic-assertion-mining-microelectronic-verification
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.
