Armita Peymandoust, Giovanni De Micheli  Home/Search
Context Related
| stanford.edu/users/nann...cadis1154.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/users/nanni/p...jour (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The growing market of multimedia applications has required the development of complex application-specified integrated circuits with significant data-path portions. Unfortunately, most high-level synthesis tools and methods cannot automatically synthesize data paths such that complex arithmetic library blocks are intelligently used. Namely, most arithmetic-level optimizations are not supported and they are left to the designer's ingenuity. In this paper, we show how symbolic algebra can be used ... (Update)
Cited by: More
Complex Instruction and Software Library Mapping for .. - Peymandoust.. (2003) (Correct)
Similar documents (at the sentence level):
16.8%: Using Symbolic Algebra in Algorithmic Level DSP Synthesis - Peymandoust, De Micheli (2001) (Correct)
5.5%: Symbolic Algebra and Timing Driven Data-flow Synthesis - Peymandoust, De Micheli (2001) (Correct)
Active bibliography (related documents): More All
0.5: A Novel Methodology for the Design of.. - Hoffmann, Kogel.. (2001) (Correct)
0.4: On the Computation of Switching Surfaces in Optimal.. - Walther, Georgiou.. (2001) (Correct)
0.2: Relaxation and Hybrid Approaches for Efficient Polynomial.. - Shah, Fortes (Correct)
Similar documents based on text: More All
0.2: Low Power Embedded Software Optimization using Symbolic.. - Armita Peymandoust.. (2002) (Correct)
0.2: Complex Library Mapping for Embedded Software Using.. - Peymandoust.. (2002) (Correct)
0.2: Energy-Efficient Design of Battery-Powered Embedded Systems - Simunic, Benini, De Micheli (1999) (Correct)
BibTeX entry: (Update)
A. Peymandoust and G. De Micheli, "Application of symbolic computer algebra in high-level data-flow synthesis," IEEE Trans. Computer-Aided Design, vol. 22, Sept. 2003. http://citeseer.ist.psu.edu/peymandoust03application.html More
@misc{ peymandoust03application,
author = "A. Peymandoust and G. De Micheli",
title = "Application of symbolic computer algebra in high-level data-flow synthesis",
text = "A. Peymandoust and G. De Micheli, Application of symbolic computer algebra
in high-level data-flow synthesis, IEEE Trans. Computer-Aided Design, vol.
22, Sept. 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/peymandoust03application.html" }
Citations (may not include all citations):126 Algorithms for Computer Algebra (context) - Geddes, Czapor et al. - 1992
115 New York: Wiley (context) - Hart, Approximations - 1968
104 The Structure of Computers and Computations (context) - Kuck - 1978
59 the number of operations simultaneously executable in Fortra.. (context) - Kuck, Muraoka et al. - 1972
32 New York: McGraw--Hill (context) - De Micheli, Optimization et al. - 1994
22 Incremental tree height reduction for high level synthesis (context) - Nicolau, Potasman - 1991
22 Available httpwww (context) - Available, wri - 1987
22 Available httpwww (context) - Available, maplesoft - 1988
10 New York: Springer-Verlag (context) - Cox, Little et al. - 1997
10 Polynomial methods for component matching and verification (context) - Smith, De Micheli - 1998
10 Integrating program transformations in the memory-based synt.. - Kolson, Nicolau et al. - 1994
8 Fridge: An interactive fixed-point code generation environme.. (context) - Willems, Keding et al. - 1997
4 Some properties of Grbner bases for polynomial ideals (context) - Buchberger - 1976
4 Heuristic datapath allocation for multiple wordlength system.. - Constantinides, Cheung et al. - 2001
3 The decomposition and factorization of logic synthesis (context) - Brayton, McMullen - 1982
3 New York: SpringerVerlag (context) - Becker, Weispfenning et al. - 1993
2 IEEE Trans (context) - models, matching et al. - 2001
2 The strict time lower bound and optimal schedules for parall.. - Wang, Nicolau et al. - 1996
2 MIS: A multiple-level logic optimization and the rectangular.. (context) - Brayton, Rudell et al. - 1987
2 Available httpwww (context) - Online, www et al. - 1994
1 Automatic floatingpoint to fixed-point conversion for DSP co.. (context) - Menard, Chillet et al. - 2002
Documents on the same site (http://chronos.stanford.edu/users/nanni/publications/archive/jour.html): More
A Survey of Boolean Matching Techniques for Library Binding - Benini, De Micheli (1997) (Correct)
A Survey of Design Techniques for System-Level Dynamic .. - Benini, Bogliolo, De.. (2000) (Correct)
Regression-Based RTL Power Modeling - Bogliolo, Benini, De Micheli (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC