Polynomial datapath optimization using partitioning and compensation heuristics

Proceedings - Design Automation Conference

Volumn , Issue , 2009, Pages 931-936

  Sarbishei, O ^a   Alizadeh, B ^b   Fujita, M ^b  

^a SHARIF UNIVERSITY OF TECHNOLOGY   (Iran)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

High level synthesis; Modular HED; Polynomial datapath

Indexed keywords

COMPUTER GRAPHICS; DIGITAL SIGNAL PROCESSING; HEURISTIC METHODS; HIGH LEVEL SYNTHESIS; LOGIC SYNTHESIS; MULTIVARIABLE SYSTEMS; OPTIMIZATION;

ALGEBRAIC APPROACHES; CONVENTIONAL METHODS; CRITICAL PATH DELAYS; DECISION DIAGRAM; MODULAR HED; MULTIVARIATE POLYNOMIAL; OPTIMIZATION TECHNIQUES; POLYNOMIAL DATAPATH;

POLYNOMIALS;

EID: 70350716603     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1629911.1630151     Document Type: Conference Paper

References (11)

1. B. Alizadeh and M. Fujita, "Modular-HED: A Canonical Decision Diagram for Modular Equivalence Verification of Polynomial Functions", in the fifth Workshop on Constraints in Formal Verification (CFV), pp. 22-40, 2008.
2. A. Peymandoust and G. DeMicheli, "Application of Symbolic Computer Algebra in High-Level Data-Flow Synthesis", IEEE Trans. CAD, vol. 22, pp. 1154-11656, 2003.
3. Sivaram Gopalakrishnan and Priyank Kalla, "Optimization of polynomial datapaths using finite ring algebra", ACM Trans. Design Automation of Electronics Systems, vol. 12, pp. 49, 2007.
4. S. Gopalakrishnan, P. Kalla, Brandon Meredith, and F. Enescu, "Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors", in ICCAD, pp. 143-148, 2007.
5. A. Hosangadi, F. Fallah, R. Kastner, "Factoring and Eliminating Common Subexpressions in Polynomial Expressions", in ICCAD, pp. 169-174, 2004.
6. JuanCSE, "Extensible, programmable and reconfigurable embedded systems group", Available at: http://express.ece.ucsb.edu/suif/cse. html.
7. E. Kaltofen, J. P. May, Z. Yang, L. Zhi, "Approximate Factorization of Multivariate Polynomials Using Singular Value Decomposition", Journal of Symbolic Computation, pp. 359-376, 2008.
8. J. Krumm, "Savitzky-Golay Filters for 2D Images", Available at: http://homepages.inf.ed.ac.uk/rf/CVonline/LOCAL-COPIES/KRUMMI/SavGol.htm.
9. V. J. Mathews and G. L. Sicuranza, Polynomial Signal Processing, Wiley-Interscience, 2000.
10. th Annual Workshop on Workload Characterization, pp. 3-14, 2001.
11. A. Hosangadi, F. Fallah, and R. Kastner, "Optimizing polynomial expressions by algebraic factorization and common subexpression elimination", IEEE Trans. CAD, vol. 25, pp. 2012-2022, Oct 2006.