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
- Share
- Share on Facebook
- Share on X
- Share on LinkedIn
Keywords: CDC, RDC, formel, Verification
Abstract: Develop new verification concepts for asynchronous paths and optimized verification flows that guarantee a maximum coverage.
Informations
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
- Share
- Share on Facebook
- Share on X
- Share on LinkedIn