Automatic functional verification of memory oriented global source code transformations

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn 2003-January, Issue , 2003, Pages 31-36

  Shashidhar, K C ^a,b   Bruynooghe, M ^b   Catthoor, F ^a,b   Janssens, G ^b  

^a IMEC   (Belgium)

^b UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Algorithm design and analysis; Data mining; Embedded software; Embedded system; Memory management; Multimedia systems; Power system modeling; Signal processing algorithms; Software performance

Indexed keywords

COSINE TRANSFORMS; DATA MINING; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; FUNCTIONS; INFORMATION MANAGEMENT; MULTIMEDIA SYSTEMS; SIGNAL PROCESSING;

ALGORITHM DESIGN AND ANALYSIS; MEMORY MANAGEMENT; POWER SYSTEM MODEL; SIGNAL PROCESSING ALGORITHMS; SOFTWARE PERFORMANCE;

PROGRAM DEBUGGING;

EID: 29244433255     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2003.1252471     Document Type: Conference Paper

References (11)

1. Allen, R., K. Kennedy. Optimizing Compilers for Modern Architectures: A Dependence-based Approach, Morgan Kaufmann Publishers, 2001.
2. Barthou, D., P. Feautrier, X. Redon. On the Equivalence of Two Systems of Affine Recurrence Equations. In the proc. of Euro-Par 2002, LNCS 2400, pp. 309-313.
3. Catthoor, F., et. al. Custom Memory Management Methodology - Exploration of Memory Organization for Embedded Multimedia System Design, Kluwer Academic Publishers, 1998.
4. Čupák, M., F. Catthoor, H. de Man. Efficient System-Level Functional Verification Methodology for Multimedia Applications. IEEE Design and Test of Computers, Vol. 20, No. 2, 2003, pp. 56-64.
5. Currie, D.W., A. J. Hu, S. P. Rajan, M. Fujita. Automatic Formal Verification of DSP Software. In the proc. of DAC 2000. pp. 130-135.
6. Kelly, W., et. al. The Omega Calculator and Library Version 1.1.0. University of Maryland (1996) Available from: http://wuw.cs.umd.edu/projects/omega
7. Necula, G. C. Translation Validation for an Optimizing Compiler. In the proc. of PLDI, 2000, pp. 83-95.
8. Pugh, W. The Omega test: a fast and practical integer programming algorithm for dependence analysis, CACM, 35, 8 (1992), 102-114.
9. Samsom, H., F. Franssen, F. Catthoor, H. de Man. System level verification of video and image processing specifications. In the proc. of ISSS, 1995, pp. 144-149.
10. Shashidhar, K. C., M. Bruynooghe, F. Catthoor, G.Janssens. An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. In the special issue on Compiler Optimization meets Compiler Verification, Journal of Universal Computer Science (J.UCS), Vol. 9, No. 3, 2003, pp. 248-269.
11. Zuck, L., A. Pnueli, Y. Fang, B. Goldberg. VOC: A Methodology for the Translation Validation of Optimizing Compilers. J.UCS, Vol. 9, No. 3, 2003, pp. 223-247.