Skip to main content


Development of an advanced flow of structural, formal and semi-formal verification of asynchronous paths using appropriate formal verification methods and tools, for high-performance integrated processor-based subsystems


Keywords: CDC, RDC, formel, Verification

Abstract: Develop new verification concepts for asynchronous paths and optimized verification flows that guarantee a maximum coverage.


Thesis director: Katell MORIN-ALLORY (TIMA - CDSI)
Thesis supervisor:  Jean-Christophe BRIGNONE (STMicroelectronics)
Thesis started on: May 2021
Thesis defence: June 4, 2024
Doctoral school: EEATS

Submitted on January 12, 2022

Updated on July 1, 2024