Verkest, DiederikDiederikVerkest2021-09-292021-09-291994-05https://imec-publications.be/handle/20.500.12860/441Formal Methods for Verification and Design of Parametrized Hardware LibrariesPHD thesis