skip to main content
10.1145/502217.502229acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
Article

A novel approach to code analysis of digital signal processing systems

Published:16 November 2001Publication History

ABSTRACT

We present a technique for program analysis targeting digital signal processing systems. It is utilized by the FRIDGE design environment to transform floating-point systems into fixed-point systems. While the transforming algorithms have been subject to a number of other publications, we now put the focus on the novel technique of program analysis employed by FRIDGE. The code is analyzed by interpreting it without processing any concrete input data. This enables most accurate analysis even capable of detecting dynamic code properties without relying on input vectors as e. g. profilers do.

References

  1. 1.A. Aho, R. Sethi, and J. Ullman. Compilers, Principles, Techniques and Tools. Addison-Wesley, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.S. Akers. BinaryDecisionDiagrams. IEEE Transactions on Computers, C-27(6), 1978.Google ScholarGoogle Scholar
  3. 3.T. Ball and J. R. Larus. Optimally profiling and tracing programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(4):1319-1360, July 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.C. H. Flemming Nielson, Hanne Riis Nielson. Principles Of Program Analysis. Springer, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.Frontier Design Inc., 9000 Crow Canyon Rd., Danville, CA 94506, USA. AjRT Library User's and Reference Documentation, 1998.Google ScholarGoogle Scholar
  6. 6.C. Hankin. Program Analysis Tools. International Journal on Software Tools for Technology Transfer, 2(1):6-12, 1998.Google ScholarGoogle Scholar
  7. 7.H. Keding, M. Coors, O. L. uthje, and H. Meyr. Fast bit-true simulation. In Proceedings of the Design Automation Conference (DAC), Las Vegas, Nevada, June 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.H. Keding, M. Coors, and H. Meyr. Efficient Design Flow for Fixed-Point Systems. Invited chapter in: Circuits and Systems for Wireless Communications, M. Helfenstein, G. S. Moschytz. Kluwer Academic Publishers, January 2000.Google ScholarGoogle Scholar
  9. 9.H. Keding, M. Willems, M. Coors, and H. Meyr. FRIDGE: A Fixed-Point Design and Simulation Environment. In Proceedings of the European Conference on Design, Automation and Test (DATE), pages 429-435, Paris, Feb. 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.S. Kim, K. Kum, and W. Sung. Fixed-Point Optimization Utility for C and C++ Based Digital Signal Processing Programs. In Workshop on VLSI and Signal Processing '95, pages 197-206, Osaka, Nov. 1995.Google ScholarGoogle Scholar
  11. 11.F. Martin. PAG - An Efficient Program Analyzer Generator. International Journal on Software Tools for Technology Transfer, 2(1):6-12, 1998.Google ScholarGoogle ScholarCross RefCross Ref
  12. 12.MIPS Computer Systems. UMIPS-V Reference Manual (pixie and pixstats), 1990.Google ScholarGoogle Scholar
  13. 13.Synopsys, Inc., CoWare, Inc., Frontier Design Inc. SystemC User's Guide, Version 1.1, 2000.Google ScholarGoogle Scholar
  14. 14.M. Willems. A Methodology for the Efficient Design of Fixed-Point Systems. PhD thesis, Aachen University of Technology, 1998. in German.Google ScholarGoogle Scholar
  15. 15.M. Willems, V. B. ursgens, T. Gr.otker, and H. Meyr. FRIDGE: An Interactive Fixed-Point Code Generation Environment for HW/SW CoDesign. In Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pages 687-690, M. unchen, Apr. 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16.M. Willems, V. B. ursgens, H. Keding, T. Gr.otker, and H. Meyr. System Level Fixed-Point Design Based on an Interpolative Approach. In Proceedings of the Design Automation Conference (DAC), pages 293-298, Anaheim, Jun. 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17.M. J. Wolfe. High Performance Compilers for Parallel Computing. Addison-Wesley Publishing, Redwood City, CA, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A novel approach to code analysis of digital signal processing systems

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            CASES '01: Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
            November 2001
            258 pages
            ISBN:1581133995
            DOI:10.1145/502217

            Copyright © 2001 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 16 November 2001

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • Article

            Acceptance Rates

            Overall Acceptance Rate52of230submissions,23%

            Upcoming Conference

            ESWEEK '24
            Twentieth Embedded Systems Week
            September 29 - October 4, 2024
            Raleigh , NC , USA

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader