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 Twitter
- Share on LinkedIn
- Share url
CDC, RDC, formel, Verification
Develop new verification concepts for asynchronous paths and optimized verification flows that guarantee a maximum coverage.
Informations
Thesis director: Katell MORIN-ALLORY
Thesis supervisor: Jean-Christophe BRIGNONE (STMicroelectronics)
Thesis started on: May 2021
Doctoral school: EEATS
- Share
- Share on Facebook
- Share on Twitter
- Share on LinkedIn
- Share url