Angelo, Catia MarcondesCatia MarcondesAngelo2021-09-292021-09-291994-02https://imec-publications.be/handle/20.500.12860/18Formal Hardware Verification in a Silicon Compilation Environment by Means of Theorem ProvingPHD thesis