Authors

Kodamballi, Shashi; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda

Conference

Proceedings of the Design, Automation and Test in Europe Conference and Exhibition - DATE

Title

Functional equivalence checking for verification of algebraic transformations on array-intensive source code

Publication type

Proceedings paper