Kodamballi, ShashiShashiKodamballi2021-10-172021-10-172008-05https://imec-publications.be/handle/20.500.12860/13958Efficient automatic verification of loop and data-flow transformations by functional equivalence checkingPHD thesis