Samsom, HansHansSamsomFranssen, FrankFrankFranssenCatthoor, FranckyFranckyCatthoorDe Man, HugoHugoDe Man2021-09-292021-09-291994https://imec-publications.be/handle/20.500.12860/328Verification of Loop Transformations for Real Time Signal Processing ApplicationsProceedings paper