@inproceedings{RISC2859,author = {Tudor Jebelean and Laura Szakacs},
title = {{Functional-Based Synthesis of Systolic Online Multipliers}},
booktitle = {{SYNASC-05 (International Symposium on Symbolic and Numeric Scientific Computing)}},
language = {English},
abstract = {Systolic online algorithms for the multiplication of univariate
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.
},
pages = {267--275},
publisher = {IEEE Computer Society},
isbn_issn = {ISBN 0-7695-2453-2},
year = {2005},
editor = {D. Zaharie and D. Petcu and V. Negru and T. Jebelean and G. Ciobanu and A. Cicortas and A. Abraham and M. Paprzycki},
refereed = {yes},
sponsor = {FWF: SFB 1302, BMBWK and BMWA: Institute e-Austria Timisoara, CEEPUS},
length = {9},
conferencename = {SYNASC-05}
}