Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor +1

Development of energy and performance-efficient embedded software is increasingly relying on application of complex transformations on the critical parts of the source code. Design…