Authors

Kodamballi, Shashi

Supervisor

Bruynooghe, Maurice; Catthoor, Francky

Title

Efficient automatic verification of loop and data-flow transformations by functional equivalence checking

Publication type

PHD thesis

Embargo date

9999-12-31