基于代数变换的脉动阵列的综合

Algebraic Transformation for the Synthesis of Systolic Arrays

本文给出一个基于代数变换的脉动阵列的自动综合系统,它能自动地将用FP 描述的并行算法程序变换成脉动算法的形式描述。这与以往的人为地借助于FP代数进行脉动阵列设计的ad hoc 的讨论不同.为了便于描写并行算法,首先扩充了原来的FP,引入了流递归方程和若干高阶算子.同时为了便于全自动的综合,对FP 的递归方程进行了限制,提出了结构递归方程.在此基础上,还给出了一个系统化的且可构造的脉动阵列自动综合的算法,包括递归方程的展开,规整结构的映射和同步机制的实现.

Different form previous discussion on the design of systolic array byprogram transformation on FP description in an ad hoc manner,we present amechanical implementation for this synthesis.Our work is made up of two parts:first,the stream recursive equations are introduced to FP and a restrictive classof recursive equations called structure recursive equations are studied,therefore,it is easy for description and synthesis;then,we present a systemtic and cons-tructiv(?) algorithm for this synthesis,including expansion of recursive equations,mapping techniques of regular argular architecture,and synchronization mecha-nism.Two examples are given in the end.