The Community for Technology Leaders
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2005)
Timisoara, Romania
Sept. 25, 2005 to Sept. 29, 2005
ISBN: 0-7695-2453-2
pp: 267-275
Laura Szakacs , Babes-Bolyai University Cluj
Tudor Jebelean , RISC-Linz
ABSTRACT
Systolic online algorithms for the multiplication of uni-variate polynomials and of multiple precision integers are synthesised using a novel method based on the following functional (or inductive) view: a systolic array is a head processor followed by an identical tail array. The synthesis method consists in first unfolding the functional expression of the target function until the first four elements are separated, and then by projecting the remaining list expression into the scalar space in order to obtain the transition function of the individual processors. The method is implemented as a set of rewrite rules in the Theorema system, and it generates the description of the systolic arrays in a completely automatic manner, starting from the functional definitions of the arithmetic operations.
INDEX TERMS
null
CITATION
Laura Szakacs, Tudor Jebelean, "Functional-Based Synthesis of Systolic Online Multipliers", 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, vol. 00, no. , pp. 267-275, 2005, doi:10.1109/SYNASC.2005.36
83 ms
(Ver 3.3 (11022016))